Fakultät für Informatik
-
Technische Universität München
Lehrstuhl für Effiziente Algorithmen
Die bibliographische Datenbank LEABib
Suchen
•
Liste der Journale
•
Liste der Serien
•
Liste der Konferenzen
•
Ausgewählte Publikationen
Hilfe
Suche: Author="Riecke, Jon G."
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
A relational account of call-by-value sequentiality
Jon G. Riecke
,
Anders Sandholm
Information and Computation
179
(2), 2002, pp. 296-331
Privacy via subsumption
Jon G. Riecke
,
Christopher A. Stone
Information and Computation
172
(1), 2002, pp. 2-28
Typed exceptions and continuations cannot macro-express each other
Jon G. Riecke
,
Hayo Thielecke
Lecture Notes in Computer Science
1644
, 1999, pp. 635-644
Kripke logical relations and PCF
Peter W. O'Hearn
,
Jon G. Riecke
Information and Computation
120
(1), 1995, pp. 107-116
Statman's 1-section theorem
Jon G. Riecke
Information and Computation
116
(2), 1995, February, pp. 294-303
A complete and decidable proof system for call-by-value equalities
Jon G. Riecke
Lecture Notes in Computer Science
443
, 1990, pp. 20-31