A syntactic account of singleton types via hereditary substitution

Proceedings of the Fourth International Workshop on Logical Frameworks and Meta-Languages Theory and Practice - LFMTP '09 ◽

10.1145/1577824.1577829 ◽

2009 ◽

Author(s):

Karl Crary

Download Full-text