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

Publiceret: 2006-01-05

Artikler