Simple Types in Type Theory: Deep and Shallow Encodings
Work
Year: 2007
Type: book-chapter
Authors François Garillot, Benjamin Werner
Institution École Polytechnique
Cites: 21
Cited by: 22
Related to: 10
FWCI: 0.826
Citation percentile (by year/subfield): 78.91
Subfield: Artificial Intelligence
Field: Computer Science
Domain: Physical Sciences
Sustainable Development Goal Climate action
Open Access status: closed