Q4993353 (Q4993353): Difference between revisions

From MaRDI portal

Jump to:navigation, search

Latest revision as of 00:41, 26 July 2024

scientific article; zbMATH DE number 7359419

Language	Label	Description	Also known as
English	No label defined	scientific article; zbMATH DE number 7359419

Statements

scholarly article

0 references

zbMATH Open document ID

0 references

10.4230/LIPIcs.FSCD.2018.23

0 references

0 references

Rasmus Ejlers Møgelberg

0 references

publication date

15 June 2021

0 references

full work available at URL

https://arxiv.org/abs/1804.06687

0 references

Mathematics Subject Classification ID

0 references

0 references

0 references

0 references

zbMATH DE Number

0 references

zbMATH Keywords

guarded type theory

0 references

coinduction

0 references

presheaf model

0 references

clocked type theory

0 references

dependent adjunction

0 references

describes a project that uses

0 references

MaRDI profile type

MaRDI publication profile

0 references

0 references

Productive coprogramming with guarded recursion

0 references

A presheaf model of parametric type theory

0 references

Intensional Type Theory with Guarded Recursive Types qua Fixed Points on Universes

0 references

First steps in synthetic guarded domain theory: step-indexing in the topos of trees

0 references

A Model of Countable Nondeterminism in Guarded Type Theory

0 references

Cubical Type Theory: a constructive interpretation of the univalence axiom

0 references

Internal type theory

0 references

Applicative programming with effects

0 references

A dependent type theory with abstractable names

0 references

Homotopy Type Theory: Univalent Foundations of Mathematics

0 references

Sitelinks

Mathematics(1 entry)

mardi Publication:4993353

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q4993353&oldid=36690953"