An Extension of Martin-Löf Type Theory with Sized Types Andreas Abel1 and Théo Winterhalter2 1 Department of Computer Science and Eng., Gothenburg University, Sweden - LOF - Document - PDFSEARCH.IO

First Page	Meta Content
	An Extension of Martin-Löf Type Theory with Sized Types Andreas Abel1 and Théo Winterhalter2 1 Department of Computer Science and Eng., Gothenburg University, Sweden Add to Reading List Document Date: 2016-05-17 15:07:26 Open Document File Size: 256,95 KB Share Result on Facebook

An Extension of Martin-Löf Type Theory with Sized Types Andreas Abel1 and Théo Winterhalter2 1 Department of Computer Science and Eng., Gothenburg University, SwedenAdd to Reading List