HOLCF:Higher Order Logic of Computable Functions (1995)

by F Regensburger
Venue:Higher Order Logic Theorem Proving and its Applications, volume 971 of Lecture Notes in Computer Science