Login
From:
www.sciencedirect.com
(Uncensored)
subscribe
Typability and type checking in System F are equivalent and undecidable - ScienceDirect
https://www.sciencedirect.com/science/article/pii/S0168007298000475
links
backlinks
Girard and Reynolds independently invented System F (a.k.a. the second-order polymorphically typed lambda calculus) to handle problems in logic and co…
Roast topics
Find topics
Find it!
