مرکز منطقه ای اطلاع رساني علوم و فناوري - Second Order Isomorphic Types: A Proof Theoretic Study on Second Order λ-Calculus with Surjective Pairing and Terminal Object

Title of article :

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

Author/Authors :

Dicosmo R.، نويسنده ,

Issue Information :

روزنامه با شماره پیاپی سال 1195

Pages :

From page :

176

To page :

201

Journal title :

Information and Computation

Serial Year :

1195

Journal title :

Information and Computation

Record number :

333711

Link To Document :