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

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 theory Add to Reading List Source URL: www.cse.chalmers.se Download Document from Source Website File Size: 131,77 KB Share Document on Facebook