Back to Results
First PageMeta 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
UPDATE