Integration in Real PCF (1996)

by A Edalat, M H Escardó
Venue:In Proceedings of the Eleventh Annual IEEE Symposium on Logic In Computer Science