Towards a Logic for Pragmatics. Assertions and Conjectures. - Gianluigi Bellin; Corrado Biasi (J. Log. Comput., 2004)

On the Observational Theory of the CPS-calculus: (Extended Abstract). - Massimo Merro; Corrado Biasi (MFPS, 2006)

A Term Assignment for Polarized Bi-intuitionistic Logic and its Strong Normalization. - Corrado Biasi; Federico Aschieri (Fundam. Informaticae, 2008)