Jon G. Riecke

Available identifiers

zbMath Open riecke.jon-gMaRDI QIDQ1854491

List of research outcomes

Publication	Date of Publication	Type
A relational account of call-by-value sequentiality	2006-10-10	Paper
https://portal.mardi4nfdi.de/entity/Q5714452	2006-01-02	Paper
Privacy via subsumption	2003-01-14	Paper
https://portal.mardi4nfdi.de/entity/Q2729055	2001-11-06	Paper
https://portal.mardi4nfdi.de/entity/Q4490721	2000-07-20	Paper
Conditions for the completeness of functional and algebraic equational reasoning	2000-03-23	Paper
Kripke logical relations and PCF	1999-05-11	Paper
Reference counting as a computational interpretation of linear logic	1997-05-12	Paper
Statman's 1-section theorem	1995-05-28	Paper
Fully abstract translations between functional languages	1994-12-11	Paper
https://portal.mardi4nfdi.de/entity/Q4038678	1993-05-18	Paper
https://portal.mardi4nfdi.de/entity/Q3787444	1988-01-01	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Jon G. Riecke