Publication:4938644
From MaRDI portal
zbMath0939.03024MaRDI QIDQ4938644
Publication date: 25 April 2000
higher-order abstract syntax; natural deduction proof system; propositional modal \(\mu\)-calculus; Calculus of Inductive Constructions; context sensitive grammars; interactive development of error-free proofs
DB lookup for MSC labels failed
Uses Software