A Curry-Howard foundation for functional computation with control (1997)

Cached

Download Links

by C. -h. L. Ong , C. A. Stewart
Venue:In Proceedings of ACM SIGPLAN-SIGACT Symposium on Principle of Programming Languages
Citations:77 - 3 self

Document Versions

A Curry-Howard foundation for functional computation with control –C. -h. L. Ong, C. A. Stewart — 1997 — In Proceedings of ACM SIGPLAN-SIGACT Symposium on Principle of Programming Languages