Girard translation and logical predicates (2000)

by M Hasegawa
Venue:J. Funct. Programming