Partial Objects in Type Theory (1989)

Cached

Download Links

by Scott Fraser Smith
Citations:19 - 6 self

Active Bibliography

5 A Limiting First Order Realizability Interpretation – Masahiro Nakata, Susumu Hayashi
Complexity and Mixed Strategy Equilibria ∗ – Tai-wei Hu
I Basic Categories 6 – J. R. B. Cockett - 2010
3 Towards Limit Computable Mathematics – Susumu Hayashi, Masahiro Nakata
20 Computational Foundations of Basic Recursive Function Theory – Robert L. Constable, Scott Fraser Smith - 1988
4 Introduction to Turing categories – J. R. B. Cockett, Pieter J. W. Hofstra
5 A COMBINATORY ACCOUNT OF INTERNAL STRUCTURE – Barry Jay, Thomas Given-wilson