Is Impredicativity Implicitly Implicit
Work
Year: 2020
Type: article
Source: Types for Proofs and Programs
Authors Stefan Monnier, Nathaniel Bos
Institution Université de Montréal
Cites:
Cited by:
Related to: 20
FWCI:
Citation percentile (by year/subfield):
Subfield: Artificial Intelligence
Field: Computer Science
Domain: Physical Sciences
Open Access status: closed