Corrado Biasi

According to our database¹, Corrado Biasi authored at least 3 papers between 2004 and 2008.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2008

A Term Assignment for Polarized Bi-intuitionistic Logic and its Strong Normalization.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2008

2006

On the Observational Theory of the CPS-calculus: (Extended Abstract).

[BibT_eX]

[DOI]

Proceedings of the 22nd Annual Conference on Mathematical Foundations of Programming Semantics, 2006

2004

Towards a Logic for Pragmatics. Assertions and Conjectures.

[BibT_eX]

[DOI]

J. Log. Comput., 2004