Fingerprint
Dive into the research topics of 'Type Theory Unchained: Extending Agda with User-Defined Rewrite Rules'. Together they form a unique fingerprint.- Sort by
- Weight
- Alphabetically
Type Theory Unchained: Extending Agda with User-Defined Rewrite Rules
*Corresponding author for this work
Research output: Chapter in Book/Conference proceedings/Edited volume › Conference contribution › Scientific › peer-review
9
Citations
(Scopus)
108
Downloads
(Pure)