The following pages link to (Q2753183):
Displayed 23 items.
- Nominal lambda calculus: an internal language for FM-Cartesian closed categories (Q265798) (← links)
- Modeling Martin-Löf type theory in categories (Q280835) (← links)
- Universality and semicomputability for nondeterministic programming languages over abstract algebras (Q864513) (← links)
- First-order logic in the Medvedev lattice (Q897478) (← links)
- Game semantics for dependent types (Q1641014) (← links)
- A characterization of those categories whose internal logic is Hilbert's \(\varepsilon\)-calculus (Q1715476) (← links)
- The simplicial model of univalent foundations (after Voevodsky) (Q2031691) (← links)
- A stone-type duality theorem for separation logic via its underlying bunched logics (Q2130585) (← links)
- Equational logic and categorical semantics for multi-languages (Q2133469) (← links)
- Indexed and fibred structures for Hoare logic (Q2219084) (← links)
- Elementary doctrines as coalgebras (Q2220195) (← links)
- Combinatorial structure of type dependency (Q2254771) (← links)
- Representing definable functions of \(\mathrm{HA}^{\omega}\) by neighbourhood functions (Q2417962) (← links)
- Computable scalar fields: A basis for PDE software (Q2568116) (← links)
- Joyal's arithmetic universes via type theory (Q2842826) (← links)
- Dependently Sorted Logic (Q3499748) (← links)
- Programming Experimental Procedures for Newtonian Kinematic Machines (Q3507418) (← links)
- Oracles and Advice as Measurements (Q3543332) (← links)
- Kolmogorov Complexity Theory over the Reals (Q4918012) (← links)
- Model structures on categories of models of type theories (Q4961720) (← links)
- FIBRED ALGEBRAIC SEMANTICS FOR A VARIETY OF NON-CLASSICAL FIRST-ORDER LOGICS AND TOPOLOGICAL LOGICAL TRANSLATION (Q5015729) (← links)
- ETA-RULES IN MARTIN-LÖF TYPE THEORY (Q5240810) (← links)
- Fibered universal algebra for first-order logics (Q6051097) (← links)