Publication:2844073
From MaRDI portal
zbMath1270.68070MaRDI QIDQ2844073
Publication date: 27 August 2013
Full work available at URL: http://www.sciencedirect.com/science/article/pii/S1571066105826192
68N18: Functional programming and lambda calculus
68Q55: Semantics in the theory of computing
03F05: Cut-elimination and normal-form theorems
68Q42: Grammars and rewriting systems
03B40: Combinatory logic and lambda calculus
Related Items
Strong Normalisation of Cut-Elimination That Simulates β-Reduction, Kripke models for classical logic, Completeness and partial soundness results for intersection and union typing for \(\overline{\lambda}\mu\tilde{\mu}\), Symmetric categorial grammar, Characterizing strong normalization in the Curien-Herbelin symmetric lambda calculus: extending the Coppo-Dezani heritage, Call-by-name reduction and cut-elimination in classical logic, On the Computational Representation of Classical Logical Connectives, Monadic Translation of Intuitionistic Sequent Calculus