Self Types for Dependently Typed Lambda Encodings

Lecture Notes in Computer Science - Rewriting and Typed Lambda Calculi ◽

10.1007/978-3-319-08918-8_16 ◽

2014 ◽

pp. 224-239 ◽

Cited By ~ 1

Author(s):

Peng Fu ◽

Aaron Stump

Download Full-text