A simple adequate categorical model for PCF (1997)

by T Brauner
Venue:In Proceedings of Third International Conference on Typed Lambda Calculi and Applications