Theoretical Pearl Yet yet a counterexample for λ+SP
From MaRDI portal
Publication:4764268
DOI10.1017/S0956796800000976zbMath0821.03006MaRDI QIDQ4764268
Pierre-Louis Curien, Thérèse Hardin
Publication date: 11 June 1995
Published in: Journal of Functional Programming (Search for Journal in Brave)
03B40: Combinatory logic and lambda calculus
Related Items
Cites Work
- Unnamed Item
- Confluence results for the pure strong categorical logic CCL. \(\lambda\)- calculi as subsystems of CCL
- An extension of Klop's counterexample to the Church-Rosser property to \(\lambda\)-calculus with other ordered pair combinators
- The lambda calculus, its syntax and semantics
- Explicit substitutions