BRICS RS-06-5 K. Støvring: Extending the Extensional Lambda Calculus with Surjective Pairing is Conservative BRICS Basic Research in Computer Science

First Page		Document Content
Date: 2006-03-06 18:15:31		BRICS RS-06-5 K. Støvring: Extending the Extensional Lambda Calculus with Surjective Pairing is Conservative BRICS Basic Research in Computer Science Add to Reading List Source URL: www.brics.dk Download Document from Source Website File Size: 221,98 KB Share Document on Facebook