An adequacy theorem for partial type theory j.w.w. Simon Huber G¨ oteborg, May 11, 2017 An adequacy theorem for partial type theory - Type theory - Document - PDFSEARCH.IO

First Page	Meta Content
	An adequacy theorem for partial type theory j.w.w. Simon Huber G¨ oteborg, May 11, 2017 An adequacy theorem for partial type theory Add to Reading List Document Date: 2017-05-14 11:13:46 Open Document File Size: 131,77 KB Share Result on Facebook

An adequacy theorem for partial type theory j.w.w. Simon Huber G¨ oteborg, May 11, 2017 An adequacy theorem for partial type theoryAdd to Reading List