Sub-λ-calculi, Classified

DOI10.1016/j.entcs.2008.03.038zbMath1279.03036OpenAlexW2032373737MaRDI QIDQ2870319

François-Régis Sinot

Publication date: 17 January 2014

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

Full work available at URL: https://doi.org/10.1016/j.entcs.2008.03.038

zbMATH Keywords

\(\lambda\)-calculuslinearitysharing

Mathematics Subject Classification ID

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

Related Items (1)

On randomised strategies in the \(\lambda \)-calculus

Uses Software

• Automath

Cites Work

• The lambda calculus. Its syntax and semantics. Rev. ed.
• Interaction combinators
• Unnamed Item

This page was built for publication: Sub-λ-calculi, Classified