Home
<<
1
>>
List View
|
Citations
|
Details
Corrado Böhm, and Enrico Tronci. "X-Separability and Left-Invertibility in lambda-calculus." In
Symposium on Logic in Computer Science (LICS)
, 320–328. Ithaca, New York, USA: IEEE Computer Society, 1987.
http://mclab.di.uniroma1.it/publications/show.php?record=63