Home
<<
1
>>
List View
|
Citations
|
Details
Corrado Böhm, Adolfo Piperno, and Enrico Tronci. "Solving Equations in λ-calculus." In
Proc. of: Logic Colloquium 88
. Padova - Italy, 1989.
http://mclab.di.uniroma1.it/publications/show.php?record=62