Searching for "A General Notion of Realizability." – sorted by Relevance.
-
A General Notion of Realizability
- A General Notion of Realizability L. Birkedal The IT University of Copenhagen Denmark Abstract
- Cited by 4 (2 self) – Add To MetaCart
-
Developing Theories of Types and Computability via Realizability
- suggest a general notion of realizability, based on weakly closed partial cartesian categories, which
- Cited by 16 (6 self) – Add To MetaCart

