Jean-François Monin

From MaRDI portal
Person:1395675

Available identifiers

zbMath Open monin.jean-francoisMaRDI QIDQ1395675

List of research outcomes





PublicationDate of PublicationType
Proof Pearl: faithful computation and extraction of \(\mu\)-recursive algorithms in Coq2024-11-26Paper
Formalisation of Probabilistic Testing Semantics in Coq2024-03-14Paper
The Braga Method: Extracting Certified Algorithms from Complex Recursive Schemes in Coq2022-06-17Paper
Handcrafted inversions made operational on operational semantics2013-08-07Paper
Theorem Proving in Higher Order Logics2005-08-18Paper
A compared study of two correctness proofs for the standardized algorithm of ABR conformance2003-07-01Paper
https://portal.mardi4nfdi.de/entity/Q48053432003-05-13Paper
https://portal.mardi4nfdi.de/entity/Q44938871999-01-01Paper
https://portal.mardi4nfdi.de/entity/Q32017501989-01-01Paper

Research outcomes over time

This page was built for person: Jean-François Monin

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:1395675&oldid=6162807"
Powered by MediaWiki