On the completeness of order-theoretic models of the λ-calculus
Work
Year: 2009
Type: article
Source: Information and Computation
Authors Furio Honsell, Gordon Plotkin
Institutions University of Udine, University of Edinburgh
Cites: 14
Cited by: 3
Related to: 10
FWCI:
Citation percentile (by year/subfield): 68.67
Subfield: Artificial Intelligence
Field: Computer Science
Domain: Physical Sciences
Open Access status: bronze