Publication:2753183
From MaRDI portal
zbMath1035.03001MaRDI QIDQ2753183
No author found.
Publication date: 29 October 2001
03B70: Logic in computer science
68Q65: Abstract data types; algebraic specification
03G30: Categorical logic, topoi
03D15: Complexity of computation (including implicit computational complexity)
18C50: Categorical semantics of formal languages
03F35: Second- and higher-order arithmetic and fragments
68-00: General reference works (handbooks, dictionaries, bibliographies, etc.) pertaining to computer science
03-00: General reference works (handbooks, dictionaries, bibliographies, etc.) pertaining to mathematical logic and foundations
03D75: Abstract and axiomatic computability and recursion theory
Related Items
Kolmogorov Complexity Theory over the Reals, Model structures on categories of models of type theories, FIBRED ALGEBRAIC SEMANTICS FOR A VARIETY OF NON-CLASSICAL FIRST-ORDER LOGICS AND TOPOLOGICAL LOGICAL TRANSLATION, ETA-RULES IN MARTIN-LÖF TYPE THEORY, Fibered universal algebra for first-order logics, Nominal lambda calculus: an internal language for FM-Cartesian closed categories, Modeling Martin-Löf type theory in categories, Universality and semicomputability for nondeterministic programming languages over abstract algebras, First-order logic in the Medvedev lattice, Game semantics for dependent types, A characterization of those categories whose internal logic is Hilbert's \(\varepsilon\)-calculus, The simplicial model of univalent foundations (after Voevodsky), A stone-type duality theorem for separation logic via its underlying bunched logics, Equational logic and categorical semantics for multi-languages, Indexed and fibred structures for Hoare logic, Elementary doctrines as coalgebras, Combinatorial structure of type dependency, Representing definable functions of \(\mathrm{HA}^{\omega}\) by neighbourhood functions, Computable scalar fields: A basis for PDE software, Joyal's arithmetic universes via type theory, Dependently Sorted Logic, Programming Experimental Procedures for Newtonian Kinematic Machines, Oracles and Advice as Measurements