Corrado Biasi

Publication Activity (10 Years)

Years Active: 2004-2008
Publications (10 Years): 0

Publications

Corrado Biasi, Federico Aschieri
A Term Assignment for Polarized Bi-intuitionistic Logic and its Strong Normalization. Fundam. Informaticae 84 (2) (2008)
Massimo Merro, Corrado Biasi
On the Observational Theory of the CPS-calculus: (Extended Abstract). MFPS (2006)
Gianluigi Bellin, Corrado Biasi
Towards a Logic for Pragmatics. Assertions and Conjectures. J. Log. Comput. 14 (4) (2004)