Second Order Isomorphic Types: A Proof Theoretic Study on Second Order λ-Calculus with Surjective Pairing and Terminal Object

Information and Computation - Tập 119 Số 2 - Trang 176-201 - 1995
R. Dicosmo1,2
1Corso Italia, Dipartimento Informat, I 56100 Pisa, Italy and Cornell Univ, Dept Comp Sci, Ithaca, NY 14853, USA
2Ecole Normale Super, Liens, CNRS, 45 Rue Ulm, F 75005 Paris, France

Tóm tắt

Từ khóa


Tài liệu tham khảo

Thông tin
Thông tin xuất bản

Information and Computation

Tập 119 Số 2

176-201

Thông tin tác giả