scientific article; zbMATH DE number 6790147
From MaRDI portal
Publication:5367048
DOI10.23638/LMCS-13(3:10)2017zbMath1434.03136arXiv1602.04530MaRDI QIDQ5367048
Bassel Mannaa, Thierry Coquand
Publication date: 12 October 2017
Full work available at URL: https://arxiv.org/abs/1602.04530
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Metamathematics of constructive systems (03F50) Other aspects of forcing and Boolean-valued models (03E40) Type theory (03B38)
Related Items (3)
Modalities in homotopy type theory ⋮ Game semantics of Martin-Löf type theory ⋮ Partiality, Revisited
This page was built for publication:
