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

by Antonino Salibra
Venue:ACM TRANSACTIONS ON COMPUTATIONAL LOGIC
Citations:23 - 15 self