| Publication | Date of Publication | Type |
|---|
A calculus of mobile agents
CONCUR '96: Concurrency Theory | 2023-06-28 | Paper |
scientific article; zbMATH DE number 7649962 (Why is no real title available?)
(available as arXiv preprint) | 2023-02-03 | Paper |
| A semi-automatic proof of strong connectivity | 2018-12-07 | Paper |
The cost of usage in the \(\lambda\)-calculus
2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science | 2017-07-03 | Paper |
Redexes are stable in the \(\lambda\)-calculus
Mathematical Structures in Computer Science | 2017-06-14 | Paper |
Analysis and caching of dependencies
Proceedings of the first ACM SIGPLAN international conference on Functional programming - ICFP '96 | 2016-09-01 | Paper |
Introduction to the theory of programming languages.
Undergraduate Topics in Computer Science | 2010-10-13 | Paper |
| scientific article; zbMATH DE number 5728682 (Why is no real title available?) | 2010-06-29 | Paper |
| Generalized finite developments | 2010-02-05 | Paper |
Processes, Terms and Cycles: Steps on the Road to Infinity
Lecture Notes in Computer Science | 2006-11-13 | Paper |
| scientific article; zbMATH DE number 2012388 (Why is no real title available?) | 2003-12-15 | Paper |
| scientific article; zbMATH DE number 1995172 (Why is no real title available?) | 2003-10-21 | Paper |
| scientific article; zbMATH DE number 1759482 (Why is no real title available?) | 2002-06-25 | Paper |
| scientific article; zbMATH DE number 1500649 (Why is no real title available?) | 2000-09-04 | Paper |
Explicit substitutions
Journal of Functional Programming | 2000-02-09 | Paper |
Confluence properties of weak and strong calculi of explicit substitutions
Journal of the ACM | 1998-01-21 | Paper |
Confluence properties of weak and strong calculi of explicit substitutions
Journal of the ACM | 1998-01-21 | Paper |
| scientific article; zbMATH DE number 1088042 (Why is no real title available?) | 1997-11-17 | Paper |
| scientific article; zbMATH DE number 4106256 (Why is no real title available?) | 1988-01-01 | Paper |
| scientific article; zbMATH DE number 3976319 (Why is no real title available?) | 1985-01-01 | Paper |
Minimal and Optimal Computations of Recursive Programs
Journal of the ACM | 1979-01-01 | Paper |
| scientific article; zbMATH DE number 3646848 (Why is no real title available?) | 1979-01-01 | Paper |
| scientific article; zbMATH DE number 3756446 (Why is no real title available?) | 1978-01-01 | Paper |
An algebraic interpretation of the \(\lambda\beta K\)-calculus; and an application of a labelled \(\lambda\)-calculus
Theoretical Computer Science | 1976-01-01 | Paper |
| scientific article; zbMATH DE number 3523519 (Why is no real title available?) | 1975-01-01 | Paper |
| scientific article; zbMATH DE number 3502768 (Why is no real title available?) | 1975-01-01 | Paper |
