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