scientific article
From MaRDI portal
Publication:2958550
DOI10.4230/LIPICS.CSL.2013.653zbMath1356.68205MaRDI QIDQ2958550
Publication date: 2 February 2017
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
consistencycalculus of constructionsstrong normalizationPresburger arithmeticset-theoretical modelmeta-theoryintensional type theoryextensional type theory
Related Items (2)
Self-formalisation of higher-order logic. Semantics, soundness, and a verified implementation ⋮ Functional verification of high performance adders in \textsc{Coq}
Uses Software
This page was built for publication:
