Christopher A. Stone

From MaRDI portal
Person:1854492

Available identifiers

zbMath Open stone.christopher-aMaRDI QIDQ1854492

List of research outcomes





PublicationDate of PublicationType
ProofLang: the language of arXiv proofs2024-02-28Paper
Extensional equivalence and singleton types2017-07-12Paper
Deciding type equivalence in a language with singleton kinds2015-03-17Paper
RZ: a Tool for Bringing Constructive and Computable Mathematics Closer to Programming Practice2009-03-02Paper
RZ: A Tool for Bringing Constructive and Computable Mathematics Closer to Programming Practice2007-11-13Paper
Privacy via subsumption2003-01-14Paper
https://portal.mardi4nfdi.de/entity/Q27830322002-07-02Paper
The donation paradox for peremptory challenges2000-07-10Paper
On the numerical accuracy of the Fokker-Planck approximation to the hierarchy of master equations1993-05-16Paper

Research outcomes over time

This page was built for person: Christopher A. Stone

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