A lambda-free logical framework (0)

by PAL
Venue:Journal of Functional Programming