Self-Representation in Girard's System U

Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages - POPL '15 ◽

10.1145/2676726.2676988 ◽

2015 ◽

Author(s):

Matt Brown ◽

Jens Palsberg

Download Full-text