Login / Signup
Second Order Isomorphic Types: A Proof Theoretic Study on Second Order lambda-Calculus with Surjective Paring and Terminal Object
Roberto Di Cosmo
Published in:
Inf. Comput. (1995)
Keyphrases
</>
higher order
proof theoretic
lambda calculus
knowledge base
general purpose