PAL+: a lambda-free logical framework (2003)

by Z Luo
Venue:J. Funct. Program