HN Explorer

helmut_brandl

↗ HN profile [ 43.2 ms ] full profile
Karma
11
Created
January 21, 2013 (13y ago)
Submissions
0
  1. Simulating Lambda Calculus in Lambda Calculus (hbr.github.io)
    1 points 0
  2. Limits of Computability in Lambda Calculus (hbr.github.io)
    2 points 0
  3. Calculus of Constructions (hbr.github.io)
    2 points 0
  4. Limits of Computability (hbr.github.io)
    2 points 0
  5. Red Black Trees (hbr.github.io)
    2 points 0
  6. Programming in Lambda Calculus (hbr.github.io)
    2 points 0
  7. Programming in Lambda Calculus (hbr.github.io)
    4 points 0
  8. Lambda Calculus – Step by Step (dropbox.com)
    3 points 0
  9. Verified Software with Albatross (gitbook.com)
    2 points 2
  10. Inductively defined sets and relations (hbr.gitbooks.io)
    1 points 0
  11. A Quick Tour Through the Albatross Programming Language (hbr.gitbooks.io)
    1 points 0
  12. Description of the Albatross Programming Language (hbr.gitbooks.io)
    1 points 0
  13. Albatross – A Programming Language with Static Verification (albatross-lang.sourceforge.net)
    15 points 7