Which simple types have a unique inhabitant?
Work
Year: 2015
Type: preprint
Abstract: We study the question of whether a given type has a unique inhabitant modulo program equivalence. In the setting of simply-typed lambda-calculus with sums, equipped with the strong --equivalence, we s... more
Authors Gabriel Scherer, Didier Rémy
Cites: 49
Cited by: 22
Related to: 10
Citation percentile (by year/subfield): 98.16
Subfield: Artificial Intelligence
Field: Computer Science
Domain: Physical Sciences
Sustainable Development Goal Reduced inequalities
Open Access status: green