Solving Equations in Lambda-Calculus

Public

Published in Studies in logic and the foundations of mathematics • Jan 1, 1989

Authors:

Corrado Böhm

,

Adolfo Pipemo

,

Enrico Tronci

Subject

Finding related papers...

(0)

No comments yet

Be the first to share your thoughts!