First Page | Document Content | |
---|---|---|
Date: 2017-05-14 11:13:46 | 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 ListSource URL: www.cse.chalmers.seDownload Document from Source WebsiteFile Size: 131,77 KBShare Document on Facebook |