| |
| 2008 | ||
|---|---|---|
| 3 | EE | Corrado Biasi, Federico Aschieri: A Term Assignment for Polarized Bi-intuitionistic Logic and its Strong Normalization. Fundam. Inform. 84(2): 185-205 (2008) |
| 2006 | ||
| 2 | EE | Massimo Merro, Corrado Biasi: On the Observational Theory of the CPS-calculus: (Extended Abstract). Electr. Notes Theor. Comput. Sci. 158: 307-330 (2006) |
| 2004 | ||
| 1 | EE | Gianluigi Bellin, Corrado Biasi: Towards a Logic for Pragmatics. Assertions and Conjectures. J. Log. Comput. 14(4): 473-506 (2004) |
| 1 | Federico Aschieri | [3] |
| 2 | Gianluigi Bellin | [1] |
| 3 | Massimo Merro | [2] |