| | |
- CSB - MetaPress - Google - Bing - Yahoo
 | 2008 | |
|---|---|---|
| 3 |      | 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 | | 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 | | 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] |
Colors in the list of coauthors
Last update Sun May 27 04:04:01 2012 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page