scientific article; zbMATH DE number 4187810
From MaRDI portal
Publication:5752573
Recommendations
- scientific article; zbMATH DE number 2247250
- Constructive models of uncountably categorical theories
- Model structures on categories of models of type theories
- Constructing categories and setoids of setoids in type theory
- scientific article; zbMATH DE number 3957072
- Homotopy type-theoretic interpretations of constructive set theories
- Publication:4726231
- scientific article; zbMATH DE number 4120168
- Functorial semantics of topological theories
- Accessible Categories: The Foundations of Categorical Model Theory
Cited in
(47)- From exact sciences to life phenomena: Following Schrödinger and Turing on programs, life and causality
- A constructive theory of continuous domains suitable for implementation
- Toposes and intuitionistic theories of types
- Inheritance as implicit coercion
- Type checking with universes
- The extended calculus of constructions (ECC) with inductive types
- Constructing type systems over an operational semantics
- Comprehension categories and the semantics of type dependency
- A natural semantics of first-order type dependency
- \(F\)-semantics for type assignment systems
- Term graph rewriting and garbage collection using opfibrations
- Equilogical spaces
- On completeness and cocompleteness in and around small categories
- Parametric Church's thesis: synthetic computability without choice
- Combinatorial structure of type dependency
- A higher-order calculus and theory abstraction
- scientific article; zbMATH DE number 4177054 (Why is no real title available?)
- scientific article; zbMATH DE number 4152378 (Why is no real title available?)
- scientific article; zbMATH DE number 4047715 (Why is no real title available?)
- scientific article; zbMATH DE number 29052 (Why is no real title available?)
- Dependence and independence results for (impredicative) calculi of dependent types
- scientific article; zbMATH DE number 1241699 (Why is no real title available?)
- scientific article; zbMATH DE number 1301736 (Why is no real title available?)
- scientific article; zbMATH DE number 517050 (Why is no real title available?)
- scientific article; zbMATH DE number 517051 (Why is no real title available?)
- AN INTERPRETATION OF MARTIN‐LÖF'S CONSTRUCTIVE THEORY OF TYPES IN ELEMENTARY TOPOS THEORY
- scientific article; zbMATH DE number 6981655 (Why is no real title available?)
- A simple model construction for the calculus of constructions
- scientific article; zbMATH DE number 895270 (Why is no real title available?)
- Functional sorts in data type specifications
- A Category Theoretic View of Contextual Types: From Simple Types to Dependent Types
- From term models to domains
- A category-theoretic account of program modules
- Quantitative domains, groupoids and linear logic
- Dictoses
- Inductive types and exact completion
- On the semantics of classical disjunction
- What is the world of mathematics?
- On the dependent product in toposes
- Semantics for abstract clauses
- An exper model for Quest
- A topos-based approach to building language ontologies
- Notions of computation and monads
- Alpha conversion, conditions on variables and categorical logic
- A note on Russell's paradox in locally Cartesian closed categories
- A modest model of records, inheritance, and bounded quantification
- Aspects of predicative algebraic set theory. I: Exact completion
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5752573)
