TinkerType: a language for playing with formal systems (0)

by M Y Levin, B C Pierce
Venue:Journal of Functional Programming (JFP