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
26
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