scientific article; zbMATH DE number 7297878

zbMath1452.03037arXiv1701.02571MaRDI QIDQ5144677

Fabian Ruch, Thierry Coquand, Bassel Mannaa

Publication date: 19 January 2021

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

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Metamathematics of constructive systems (03F50) Axiom of choice and related propositions (03E25) Type theory (03B38)

Related Items (9)

Cubical methods in homotopy type theory and univalent foundations ⋮ The Scott model of PCF in univalent type theory ⋮ Synthetic topology in Homotopy Type Theory for probabilistic programming ⋮ Partiality and Container Monads ⋮ Constructive sheaf models of type theory ⋮ Bicategorical type theory: semantics and syntax ⋮ Models of Type Theory Based on Moore Paths ⋮ Higher order functions and Brouwer’s thesis ⋮ Formally computing with the non-computable

This page was built for publication: