The Permutative λ-Calculus

Logic for Programming, Artificial Intelligence, and Reasoning - Lecture Notes in Computer Science ◽

10.1007/978-3-642-28717-6_5 ◽

2012 ◽

pp. 23-36 ◽

Cited By ~ 7

Author(s):

Beniamino Accattoli ◽

Delia Kesner

Download Full-text