scientific article
From MaRDI portal
Publication:2723440
zbMath0963.68033MaRDI QIDQ2723440
Publication date: 5 July 2001
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (2)
Reasoning about object-based calculi in (co)inductive type theory and the theory of contexts ⋮ Hybrid. A definitional two-level approach to reasoning with higher-order abstract syntax
This page was built for publication:
