Encoding Agda programs using rewriting

DOI10.4230/LIPICS.FSCD.2020.31MaRDI QIDQ6854402zbMATH OpenFDO

Authors Guillaume Genestier

Publication date 24 February 2026

Copyright license Creative Commons Attribution 3.0 Unported

zbMATH Keywords

rewritinglogical frameworksuniverse polymorphismeta conversion

Mathematics Subject Classification ID

Logic in computer science (03B70) Theory of computing (68Qxx) Computer science (68-XX)

This page was built for publication: Encoding Agda programs using rewriting

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6854402)