Robin Martinot

From MaRDI portal
Person:6552263

Available identifiers

zbMath Open martinot.robinMaRDI QIDQ6552263

List of research outcomes





PublicationDate of PublicationType
Towards a formal analysis of semantic pollution of proof systems2024-11-20Paper
Ontological purity for formal proofs2024-06-08Paper

Research outcomes over time

This page was built for person: Robin Martinot