Normalization by Evaluation with Substitutions as Operations

From MaRDI portal

Jump to:navigation, search

MaRDI QIDQ7399727arXivFDO

Authors Jason Z. S. Hu

Publication date 2026

Published in arXiv

arXiv classification

This page was built for publication: Normalization by Evaluation with Substitutions as Operations

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

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Normalization_by_Evaluation_with_Substitutions_as_Operations&oldid=108081170"