Type Theory Unchained : Extending Agda with User-Defined Rewrite Rules
Work
Year: 2020
Type: article
Source: Types for Proofs and Programs
Author Jesper Cockx
Cites:
Cited by: 5
Related to: 20
FWCI: 0.377
Citation percentile (by year/subfield): 38.24
Subfield: Artificial Intelligence
Field: Computer Science
Domain: Physical Sciences
Sustainable Development Goal Peace, justice, and strong institutions
Open Access status: closed