| No. |
Title |
Author |
Year |
| 1 |
Nominal Unification with Atom and Context Variables |
Schmidt-Schauß, Manfred et al. |
2018 |
| 2 |
Frontmatter, Table of Contents, Preface, Workshop Organization |
Chiba, Yuki et al. |
2015 |
| 3 |
OASIcs, Volume 46, WPTE'15, Complete Volume |
Chiba, Yuki et al. |
2015 |
| 4 |
Observing Success in the Pi-Calculus |
Sabel, David et al. |
2015 |
| 5 |
Transforming Cycle Rewriting into String Rewriting |
Sabel, David et al. |
2015 |
| 6 |
Contextual Equivalences in Call-by-Need and Call-By-Name Polymorphically Typed Calculi (Preliminary Report) |
Schmidt-Schauß, Manfred et al. |
2014 |
| 7 |
Frontmatter, Table of Contents, Preface, Workshop Organization |
Schmidt-Schauß, Manfred et al. |
2014 |
| 8 |
OASIcs, Volume 40, WPTE'14, Complete Volume |
Schmidt-Schauß, Manfred et al. |
2014 |
| 9 |
Structural Rewriting in the pi-Calculus |
Sabel, David |
2014 |
| 10 |
Algorithms for Extended Alpha-Equivalence and Complexity |
Schmidt-Schauß, Manfred et al. |
2013 |
| 11 |
Extending Abramsky's Lazy Lambda Calculus: (Non)-Conservativity of Embeddings |
Schmidt-Schauß, Manfred et al. |
2013 |
| 12 |
Simulation in the Call-by-Need Lambda-Calculus with letrec |
Schmidt-Schauss, Manfred et al. |
2010 |
