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

Document Versions

A Simple Adequate Categorical Model for PCF –Torben Braüner — 1997 — In Proceedings of Third International Conference on Typed Lambda Calculi and Applications