Recursive types and the subject reduction theorem

Richard Statman
2018
Mathematics Technical Report
doi:10.1184/r1/6479309 fatcat:uidmdqm45zc5ra3ozetrcfagem