The following pages link to (Q3671978):
Displaying 34 items.
- Parametric Church's thesis: synthetic computability without choice (Q2151397) (← links)
- Mathematical logic: proof theory, constructive mathematics. Abstracts from the workshop held November 8--14, 2020 (hybrid meeting) (Q2232317) (← links)
- Realizability with a local operator of A. M. Pitts (Q2253188) (← links)
- A higher-order calculus and theory abstraction (Q2639838) (← links)
- Internal enriched categories (Q2674401) (← links)
- A characterization of generalized existential completions (Q2683780) (← links)
- On the failure of fixed-point theorems for chain-complete lattices in the effective topos (Q2805156) (← links)
- A Minimalist Foundation at Work (Q2909749) (← links)
- On Tarski’s fixed point theorem (Q2944797) (← links)
- Ordered combinatory algebras and realizability (Q2973254) (← links)
- A homotopy-theoretic model of function extensionality in the effective topos (Q3119466) (← links)
- Realizability algebras III: some examples (Q4599612) (← links)
- (Q4611379) (← links)
- Realizability in ordered combinatory algebras with adjunction (Q4623132) (← links)
- <i>μ</i>-Bicomplete Categories and Parity Games (Q4787834) (← links)
- Computable Queries for Object Oriented Databases (Q4916216) (← links)
- (Q5013820) (← links)
- Aspects of Categorical Recursion Theory (Q5014598) (← links)
- The S-replete construction (Q5057468) (← links)
- (Q5091148) (← links)
- From term models to domains (Q5096213) (← links)
- Dictoses (Q5096262) (← links)
- The category of implicative algebras and realizability (Q5108535) (← links)
- Five stages of accepting constructive mathematics (Q5122448) (← links)
- On (co)products of partial combinatory algebras, with an application to pushouts of realizability toposes (Q5156775) (← links)
- A PREDICATIVE VARIANT OF HYLAND’S EFFECTIVE TOPOS (Q5159483) (← links)
- A proposed categorical semantics for Pure ML (Q5204345) (← links)
- The effective model structure and -groupoid objects (Q5866297) (← links)
- Coinduction in Flow: The Later Modality in Fibrations (Q5875348) (← links)
- Lawvere-Tierney topologies for computability theorists (Q5875936) (← links)
- An exper model for Quest (Q6116585) (← links)
- On categorical structures arising from implicative algebras: from topology to assemblies (Q6145036) (← links)
- What should a generic object be? (Q6174093) (← links)
- Game semantics of Martin-Löf type theory (Q6190409) (← links)
