scientific article
From MaRDI portal
Publication:2844073
zbMath1270.68070MaRDI QIDQ2844073
Publication date: 27 August 2013
Full work available at URL: http://www.sciencedirect.com/science/article/pii/S1571066105826192
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Functional programming and lambda calculus (68N18) Semantics in the theory of computing (68Q55) Cut-elimination and normal-form theorems (03F05) Grammars and rewriting systems (68Q42) Combinatory logic and lambda calculus (03B40)
Related Items
Symmetric categorial grammar, Kripke models for classical logic, Completeness and partial soundness results for intersection and union typing for \(\overline{\lambda}\mu\tilde{\mu}\), 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, Strong Normalisation of Cut-Elimination That Simulates β-Reduction, Monadic Translation of Intuitionistic Sequent Calculus, On the Computational Representation of Classical Logical Connectives
