Comparing semantic frameworks for dependently-sorted algebraic theories

MaRDI QIDQ6760096arXivFDO

Authors Benedikt Ahrens, Peter Lefanu Lumsdaine, Paige Randall North

Publication date 2024

Published in arXiv

arXiv classification

math.CT

This page was built for publication: Comparing semantic frameworks for dependently-sorted algebraic theories

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