| |
| 2007 | ||
|---|---|---|
| 4 | EE | Patricia Peratto: Semantics of Termination. CLEI Electron. J. 10(1): (2007) |
| 3 | EE | Patricia Peratto: A semantics for While in Pi-calculus. CLEI Electron. J. 10(2): (2007) |
| 2006 | ||
| 2 | EE | Patricia Peratto: A semantics for while with break, continue and goto. CLEI Electron. J. 9(2): (2006) |
| 1997 | ||
| 1 | EE | Patricia Peratto: Well-founded Relations in Type Theory. Logic Journal of the IGPL 5(6): (1997) |