Corrado Böhm
Corrado Böhm and Enrico Tronci.
About systems of equations,
x
-separability, and left-invertibility in the lambda-calculus.
Information and Computation
, 90(1):1-32, January 1991.
Citations.
Corrado Böhm and Benedetto Intrigila.
The ant-lion paradigm for strong normalization.
Information and Computation
, 114(1):30-49, October 1994.
Shortcuts:
Information and Computation homepage
Bibliography top level
Information and Computation Author Index
Search the HBP database