Pal + : a lambda-free logical framework (0)

by Z Luo
Venue:J. Funct. Programming