dblp.uni-trier.dewww.uni-trier.de

Corrado Biasi

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

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

Coauthor Index

1Federico Aschieri [3]
2Gianluigi Bellin [1]
3Massimo Merro [2]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)