Jon G. Riecke

From MaRDI portal
Person:1854491

Available identifiers

zbMath Open riecke.jon-gMaRDI QIDQ1854491

List of research outcomes





PublicationDate of PublicationType
A relational account of call-by-value sequentiality2006-10-10Paper
https://portal.mardi4nfdi.de/entity/Q57144522006-01-02Paper
Privacy via subsumption2003-01-14Paper
https://portal.mardi4nfdi.de/entity/Q27290552001-11-06Paper
https://portal.mardi4nfdi.de/entity/Q44907212000-07-20Paper
Conditions for the completeness of functional and algebraic equational reasoning2000-03-23Paper
Kripke logical relations and PCF1999-05-11Paper
Reference counting as a computational interpretation of linear logic1997-05-12Paper
Statman's 1-section theorem1995-05-28Paper
Fully abstract translations between functional languages1994-12-11Paper
https://portal.mardi4nfdi.de/entity/Q40386781993-05-18Paper
https://portal.mardi4nfdi.de/entity/Q37874441988-01-01Paper

Research outcomes over time

This page was built for person: Jon G. Riecke

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