HOLCF: higher order logic of computable functions (1995)

by F Regensburger
Venue:of Lecture Notes in Computer Science