Person:5883736

From MaRDI portal

Available identifiers

zbMath Open hondet.gabrielMaRDI QIDQ5883736

List of research outcomes





PublicationDate of PublicationType
Some Axioms for Mathematics2023-06-23Paper
A modular construction of type theories2023-03-22Paper

Research outcomes over time

This page was built for person: