scientific article
From MaRDI portal
Publication:3408131
zbMath1273.03105MaRDI QIDQ3408131
Alberto Ciaffaglione, Luigi Liquori, Marino Miculan
Publication date: 24 February 2010
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
Reasoning about object-based calculi in (co)inductive type theory and the theory of contexts ⋮ Mechanizing type environments in weak HOAS
Uses Software
