Towards Observational Type Theory Thorsten Altenkirch and Conor McBride School of Computer Science and Information Technology University of Nottingham {txa,ctm - Personal computer - Document - PDFSEARCH.IO

First Page	Meta Content
	Towards Observational Type Theory Thorsten Altenkirch and Conor McBride School of Computer Science and Information Technology University of Nottingham {txa,ctm}@cs.nott.ac.uk Add to Reading List Document Date: 2015-07-09 09:31:03 Open Document File Size: 178,37 KB Share Result on Facebook

Towards Observational Type Theory Thorsten Altenkirch and Conor McBride School of Computer Science and Information Technology University of Nottingham {txa,ctm}@cs.nott.ac.ukAdd to Reading List