Benoît Montagu

From MaRDI portal
Person:5261532

Available identifiers

zbMath Open montagu.benoitMaRDI QIDQ5261532

List of research outcomes





PublicationDate of PublicationType
Modeling abstract types in modules with open existential types2015-07-03Paper

Research outcomes over time

This page was built for person: Benoît Montagu