Recursive types are not conservative over F (1993)

by Ghe93 G Ghelli
Venue:International Conference on Typed Lambda Calculi and Applications, number 664 in Lecture Notes in Computer Science