Guarded Computational Type Theory

DOI10.1145/3209108.3209153zbMath1453.03027arXiv1804.09098OpenAlexW2964121680MaRDI QIDQ5145367

Robert Harper, Jonathan Sterling

Publication date: 20 January 2021

Published in: Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1804.09098

zbMATH Keywords

operational semanticstype theorydependent typesclocksguarded recursion

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60) Type theory (03B38)

Related Items

Denotational semantics for guarded dependent type theory, Unnamed Item, Higher order functions and Brouwer’s thesis