Computer Science Logic

DOI10.1007/b13224zbMath1116.03321OpenAlexW2623947920MaRDI QIDQ5292660

Masahiko Sato, Atsushi Igarashi, Yukiyoshi Kameyama, Takafumi Sakurai

Publication date: 21 June 2007

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/b13224

zbMATH Keywords

\(\lambda\)-calculuslogical frameworkcontextMeta-variable

Mathematics Subject Classification ID

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

Related Items

Nominal unification, An initial algebra approach to term rewriting systems with variable binders, Viewing \({\lambda}\)-terms through maps, Two-level Lambda-calculus, The lambda-context calculus (extended version)