top | new | best | ask | show | jobs

top | item 46027138

(no title)

burakemir | 3 months ago

"A Polymorphic λ-calculus with Type:Type"

discuss

order

No comments yet.

powered by hn/api // news.ycombinator.com