Deciding equivalence with sums and the empty type
Work
Year: 2017
Type: article
Abstract: The logical technique of focusing can be applied to the λ-calculus; in a simple type system with atomic types and negative type formers (functions, products, the unit type), its normal forms coincide ... more
Source: ACM SIGPLAN Notices
Author Gabriel Scherer
Institution Northeastern University
Cites: 26
Cited by: 12
Related to: 10
FWCI: 1.323
Citation percentile (by year/subfield): 88.6
Subfield: Artificial Intelligence
Field: Computer Science
Domain: Physical Sciences
Open Access status: green
Funder National Science Foundation
Grant ID CCF-1422133