scientific article; zbMATH DE number 1424037

zbMath0944.03012MaRDI QIDQ4945227

Ian Mackie, Maribel Fernández

Publication date: 1999

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

\(\lambda\)-calculuscalculus of explicit substitutionsclosed reductions

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Logic in computer science (03B70) Combinatory logic and lambda calculus (03B40)

Related Items (6)

On explicit substitution with names ⋮ Resource operators for \(\lambda\)-calculus ⋮ Gödel's system \(\mathcal T\) revisited ⋮ Lambda-calculus with director strings ⋮ Encoding linear logic with interaction combinators ⋮ The Power of Closed Reduction Strategies

This page was built for publication: