| 2001 | ||
|---|---|---|
| 3 | EE | Juliusz Chroboczek: Subtyping Recursive Games. TLCA 2001: 61-75 |
| 2000 | ||
| 2 | EE | Juliusz Chroboczek: Game Semantics and Subtyping. LICS 2000: 192-203 |
| 1997 | ||
| 1 | EE | Andrea Asperti, Juliusz Chroboczek: Safe Operators: Brackets Closed Forever Optimizing Optimal lambda-Calculus Implementations. Appl. Algebra Eng. Commun. Comput. 8(6): 437-468 (1997) |
| 1 | Andrea Asperti | [1] |