A Simple Adequate Categorical Model for PCF (1997)

by Torben Braüner
Venue:In Proceedings of Third International Conference on Typed Lambda Calculi and Applications