scientific article
From MaRDI portal
Publication:3656423
zbMath1188.68260MaRDI QIDQ3656423
Venanzio Capretta, Amy P. Felty
Publication date: 13 January 2010
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
Hybrid. A definitional two-level approach to reasoning with higher-order abstract syntax, Canonical HybridLF: extending Hybrid with dependent types, Formalization of universal algebra in Agda
Uses Software
