| |
| 1987 | ||
|---|---|---|
| 3 | Luis E. Sanchis: Completeness of Transfinite Evaluation in an Extension of the Lambda Calculus. J. Symb. Log. 52(1): 243-275 (1987) | |
| 1979 | ||
| 2 | Luis E. Sanchis: Reducibilities in Two Models for Combinatory Logic. J. Symb. Log. 44(2): 221-234 (1979) | |
| 1977 | ||
| 1 | Luis E. Sanchis: Data Types as Lattices: Retractions, Closures and Projections. ITA 11(4): 329-344 (1977) | |