scientific article
From MaRDI portal
Publication:3024853
zbMath1063.03524MaRDI QIDQ3024853
Publication date: 4 July 2005
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (6)
Coherence in SMCCs and equivalences on derivations in IMML with unit ⋮ The Typed Böhm Theorem ⋮ Kripke Semantics for Martin-Löf’s Extensional Type Theory ⋮ Building continuous webbed models for system F ⋮ Unnamed Item ⋮ ETA-RULES IN MARTIN-LÖF TYPE THEORY
This page was built for publication:
