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
[1]
Hilfe
Suche: Author="Pfenning, Frank"
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Linear logical relations and observational equivalences for session-based concurrency
Jorge A. Pérez
,
Luís Caires
,
Frank Pfenning
,
Bernardo Toninho
Information and Computation
239
, 2014, pp. 254-302
Linear logical algorithms
Robert J. Simmons
,
Frank Pfenning
Lecture Notes in Computer Science
5126
, 2008, pp. 336-347
Automated techniques for provably safe mobile code
Christopher Colby
,
Karl Crary
,
Robert Harper
,
Peter Lee
,
Frank Pfenning
Theoretical Computer Science
290
(2), 2003, pp. 1175-1199
A linear logical framework
Iliano Cervesato
,
Frank Pfenning
Information and Computation
179
(1), 2002, pp. 19-75
A modal analysis of staged computation
Rowan Davies
,
Frank Pfenning
Journal of the ACM
48
(3), 2001, pp. 555-604
Primitive recursion for higher-order abstract syntax
Carsten Schürmann
,
Joëlle Despeyroux
,
Frank Pfenning
Theoretical Computer Science
266
(1-2), 2001, pp. 1-57
Efficient resource management for linear logic proof search
Iliano Cervesato
,
Joshua S. Hodas
,
Frank Pfenning
Theoretical Computer Science
232
(1-2), 2000, pp. 133-163
Structural cut elimination: I. Intuitionistic and classical logic
Frank Pfenning
Information and Computation
157
(1-2), 2000, pp. 84-141
Structural cut elimination
Frank Pfenning
Proceedings of the 10th Annual IEEE Symposium on Logic in Computer Science (San Diego, California, June 26-29, 1995)
, 1995, pp. 156-166
Metacircularity in the polymorphic
\lambda
-calculus
Frank Pfenning
,
Peter Lee
Theoretical Computer Science
89
, 1991, pp. 137-159