On the Confluence of λ-Calculus with Conditional Rewriting

Lecture Notes in Computer Science - Foundations of Software Science and Computation Structures ◽

10.1007/11690634_26 ◽

2006 ◽

pp. 382-397 ◽

Cited By ~ 2

Author(s):

Frédéric Blanqui ◽

Claude Kirchner ◽

Colin Riba

Download Full-text