Publication:4937119

zbMath0939.68702MaRDI QIDQ4937119

Jacques Garrigue

Publication date: 3 February 2000

Mathematics Subject Classification ID

03B70: Logic in computer science

68Q55: Semantics in the theory of computing

03B40: Combinatory logic and lambda calculus

Related Items

Label-selective \(\lambda\)-calculus syntax and confluence