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

by Antonino Salibra
Venue:ACM TRANSACTIONS ON COMPUTATIONAL LOGIC
Citations:29 - 18 self