Primitive recursive dependent type theory

Cites work

A modal analysis of staged computation
An Application of Category-Theoretic Semantics to the Characterisation of Complexity Classes Using Higher-Order Function Algebras
Aspects of categorical recursion theory
Cartesian categories with natural numbers object
Computation by Prophecy
Constructing recursion operators in intuitionistic type theory
Cubical type theory: a constructive interpretation of the univalence axiom
First order categorical logic. Model-theoretical methods in the theory of topoi and related categories
For the metatheory of type theory, internal sconing is enough
General Recursion via Coinductive Types
Homotopy type theory. Univalent foundations of mathematics
scientific article; zbMATH DE number 6694181 (Why is no real title available?)
scientific article; zbMATH DE number 5695342 (Why is no real title available?)
scientific article; zbMATH DE number 3959364 (Why is no real title available?)
scientific article; zbMATH DE number 3618140 (Why is no real title available?)
scientific article; zbMATH DE number 1223626 (Why is no real title available?)
scientific article; zbMATH DE number 2003149 (Why is no real title available?)
scientific article; zbMATH DE number 1863381 (Why is no real title available?)
scientific article; zbMATH DE number 7204444 (Why is no real title available?)
scientific article; zbMATH DE number 3073037 (Why is no real title available?)
Modelling general recursion in type theory
Multimodal dependent type theory
Safe recursion with higher types and BCK-algebra
Subsystems of second order arithmetic
Syntax and semantics of quantitative type theory
Type-theoretic approaches to ordinals
Typed Lambda Calculi and Applications
Zum Hilbertschen Aufbau der reellen Zahlen.

This page was built for publication: Primitive recursive dependent type theory

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6970262)