Formalizing Type Operations Using the “Image” Type Constructor
Work
Year: 2006
Type: article
Abstract: In this paper we introduce a new approach to formalizing certain type operations in type theory. Traditionally, many type constructors in type theory are independently axiomatized and the correctness ... more
Authors Aleksey Nogin, Alexei Kopylov
Institution California Institute of Technology
Cites: 20
Cited by: 15
Related to: 10
FWCI: 2.595
Citation percentile (by year/subfield): 87.27
Subfield: Artificial Intelligence
Field: Computer Science
Domain: Physical Sciences
Sustainable Development Goal Reduced inequalities
Open Access status: gold