"Cartesian Cubical Computational Type Theory: Constructive Reasoning with ..."

Carlo Angiuli, Kuen-Bang Hou (Favonia), Robert Harper (2018)

Details and statistics

DOI: 10.4230/LIPICS.CSL.2018.6

access: open

type: Conference or Workshop Paper

metadata version: 2024-02-05