Deliverables: A Categorical Approach to Program Development in Type Theory (1992)

Cached

Download Links

by James Hugh McKinna
Citations:24 - 1 self

Documents Related by Co-Citation

702 A Framework for Defining Logics – Robert Harper , Furio Honsell, Gordon Plotkin - 1993
3242 Communication and Concurrency – R Milner - 1989
928 S.: Categories for the Working Mathematician – Mac Lane - 1998
3451 Communicating Sequential Processes – C. A. R. Hoare - 1985
481 Recursively enumerable sets and degrees – Robert I Soare - 1987
475 Programming from Specifications – C Morgan - 1990
262 Programming in Martin-Lof type theory: an introduction – Bengt Nordstrom, Kent Petersson, Jan M Smith - 1990
1297 A Structural Approach to Operational Semantics – G. D. Plotkin - 1981
520 Lambda Calculi with Types – Henk Barendregt, S. Abramsky, D. M. Gabbay, T. S. E. Maibaum, H. P. Barendregt - 1992