Programming Language Semantics in Foundational Type Theory (1996)

by K. Crary
Venue:In Proc. the IFIP TC2/WG2.2,2.3 International Conference on Programming Concepts and Methods (PROCOMET’98
Citations:5 - 1 self

Document Versions

Programming Language Semantics in Foundational Type Theory –K. Crary — 1996 — In Proc. the IFIP TC2/WG2.2,2.3 International Conference on Programming Concepts and Methods (PROCOMET’98
Programming Language Semantics in Foundational Type Theory –Karl Crary — 1998 — In Proc. the IFIP TC2/WG2.2,2.3 International Conference on Programming Concepts and Methods (PROCOMET’98