Cut elimination for a logic with induction and co-induction
Under an Elsevier user license
open archive
Keywords
Logical frameworks
(Co-)induction
Higher-order abstract syntax
Cut-elimination
Parametric reducibility
Cited by (0)
Copyright © 2012 Elsevier B.V. All rights reserved.