Partial Elements and Recursion via Dominances in Univalent Type Theory.
From MaRDI portal
Publication:5111189
DOI10.4230/LIPIcs.CSL.2017.21zbMath1434.03037OpenAlexW2760547725MaRDI QIDQ5111189
Martín Hötzel Escardó, Cory M. Knapp
Publication date: 26 May 2020
Full work available at URL: https://doi.org/10.4230/LIPIcs.CSL.2017.21
dominancecomputability theoryrecursion theoryhomotopy type theorypartial functionunivalent type theory
Constructive and recursive analysis (03F60) Recursive functions and relations, subrecursive hierarchies (03D20) Type theory (03B38)
Related Items (7)
On Church’s thesis in cubical assemblies ⋮ The Scott model of PCF in univalent type theory ⋮ Synthetic topology in Homotopy Type Theory for probabilistic programming ⋮ Partiality and Container Monads ⋮ On Small Types in Univalent Foundations ⋮ Apartness, sharp elements, and the Scott topology of domains ⋮ Injective types in univalent mathematics
This page was built for publication: Partial Elements and Recursion via Dominances in Univalent Type Theory.