Combinatory algebras of functions and their modest sets
Explore this paper's citation graph
- Type
- dissertation
- Published
- 2012-06-25
- Cited by
- 0
- References
- 18
- Access
- Open access
- OpenAlex
- https://openalex.org/W158314003
- Semantic Scholar
- https://api.semanticscholar.org/CorpusID:118338992
Keywords
Axiom, Element (criminal law), Set (abstract data type), Partial function, Function (biology)
References
- The realizability approach to computable analysis and topology
- Über die Bausteine der mathematischen Logik
- Realizability: An Introduction to its Categorical Side
- Foundations of Constructive Mathematics: Metamathematical Studies
- Realizability toposes and language semantics
- Recursively enumerable sets and degrees
- A Convenient Category of Domains
- Partial Combinatory Algebras of Functions
- Equilogical spaces
- A combinatory algebra for sequential functionals of finite type
- A Language and Axioms for Explicit Mathematics
Cited by
No citing papers recorded for this paper.