HN Explorer

helmut_brandl

↗ HN profile [ 42.8 ms ] full profile

No user record in our sample, but helmut_brandl has activity below (stories or comments). Likely we have partial data — the full bulk-load will fill profiles in.

  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 8