## Topological Incompleteness and Order Incompleteness of the Lambda Calculus (2001)

by
Antonino Salibra

Venue: | ACM TRANSACTIONS ON COMPUTATIONAL LOGIC |

Citations: | 27 - 17 self |