Marc Bezem and Jan F. Groote, editors. Typed Lambda Calculi and Applications, volume 664 of Lecture Notes in Computer Science. Springer Verlag, 1993. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
Lambda Calculus: A Case for Inductive Definitions - Matthes (2000) Self-citation (Lambda) (Correct)
No context found.
Marc Bezem and J.F. Groote, editors. Typed Lambda Calculi and Applications, volume 664 of Lecture Notes in Computer Science. Springer Verlag, 1993.
Short Proofs of Normalization for the simply-typed.. - Joachimski, Matthes (2002) (Correct)
No context found.
Marc Bezem and Jan F. Groote, editors. Typed Lambda Calculi and Applications, volume 664 of Lecture Notes in Computer Science. Springer Verlag, 1993.
Short Proofs of Normalization for the simply-typed.. - Joachimski, Matthes (1999) (Correct)
No context found.
Marc Bezem and Jan F. Groote, editors. Typed Lambda Calculi and Applications, volume 664 of Lecture Notes in Computer Science. Springer Verlag, 1993.
Temporal Logics of Computations - Introductory Course - Goranko (2000) (Correct)
No context found.
P. Degano, R. Gorrieri, and A. Marchetti-Spaccamela, editors. Automata, Languages and Programming, 24th International Colloquium, volume 1256 of Lecture Notes in Computer Science, Bologna, Italy, 7--11 July 1997. SpringerVerlag.
Bisimulations in the Join-Calculus - Fournet, Laneve (1999) (1 citation) (Correct)
No context found.
Pierpaolo Degano, Roberto Gorrieri, and Alberto Marchetti-Spaccamela, editors. 24th Colloquium on Automata, Languages and Programming (ICALP '97), volume 1256 of Lecture Notes in Computer Science. Springer-Verlag, 1997.
Seal: A Framework for Secure Mobile Computations - Vitek, Castagna (1999) (85 citations) (Correct)
No context found.
P. Degano, R. Gorrieri, and A. Marchetti-Spaccamela, editors. 24rd Colloquium on Automata, Languages and Programming (ICALP) (Bologna, Italy), volume 1256 of Lecture Notes in Computer Science. Springer-Verlag, 1997.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC