A Simple Adequate Categorical Model for PCF (1997)

Cached

Download Links

by Torben Braüner
Venue:In Proceedings of Third International Conference on Typed Lambda Calculi and Applications
Citations:4 - 0 self