Login / Signup
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)