Jon G. Riecke

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
A relational account of call-by-value sequentiality Information and Computation	2006-10-10	Paper
scientific article; zbMATH DE number 2242599 (Why is no real title available?)	2006-01-02	Paper
Privacy via subsumption Information and Computation	2003-01-14	Paper
scientific article; zbMATH DE number 1629943 (Why is no real title available?)	2001-11-06	Paper
scientific article; zbMATH DE number 1479610 (Why is no real title available?)	2000-07-20	Paper
Conditions for the completeness of functional and algebraic equational reasoning Mathematical Structures in Computer Science	2000-03-23	Paper
Kripke logical relations and PCF Information and Computation	1999-05-11	Paper
Reference counting as a computational interpretation of linear logic Journal of Functional Programming	1997-05-12	Paper
Statman's 1-section theorem Information and Computation	1995-05-28	Paper
Fully abstract translations between functional languages Mathematical Structures in Computer Science	1994-12-11	Paper
scientific article; zbMATH DE number 177801 (Why is no real title available?)	1993-05-18	Paper
scientific article; zbMATH DE number 4050952 (Why is no real title available?)	1988-01-01	Paper

Research outcomes over time

This page was built for person: Jon G. Riecke