scientific article

From MaRDI portal

Revision as of 19:27, 3 February 2024 by Import240129110113 (talk | contribs) (Created automatically from import240129110113)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Publication:2871868

Jump to:navigation, search

zbMath1278.03036MaRDI QIDQ2871868

Stéphane Lengrand, Murdoch James Gabbay

Publication date: 10 January 2014

Full work available at URL: http://www.sciencedirect.com/science/article/pii/S1571066108000352?np=y

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

zbMATH Keywords

confluence contexts lambda-calculus nominal techniques capturing substitution instantiation meta-variables calculus of explicit substitutions capture-avoiding substitution

Mathematics Subject Classification ID

Logic in computer science (03B70) Combinatory logic and lambda calculus (03B40)

Related Items (3)

Curry-Howard for incomplete first-order logic derivations using one-and-a-half level terms ⋮ PNL to HOL: from the logic of nominal sets to the logic of higher-order functions ⋮ Two-level Lambda-calculus

This page was built for publication:

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:2871868&oldid=15814167"