Nr. 35 (2005): RS-35 Extending the Extensional Lambda Calculus with Surjective Pairing is Conservative

Publiceret: 2005-06-05

Artikler