Recursive types are not conservative over F≤

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

10.1007/bfb0037104 ◽

1993 ◽

pp. 146-162 ◽

Cited By ~ 9

Author(s):

Giorgio Ghelli

Download Full-text