Corrado Biasi

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

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2008
A Term Assignment for Polarized Bi-intuitionistic Logic and its Strong Normalization.
Fundam. Informaticae, 2008

2006
On the Observational Theory of the CPS-calculus: (Extended Abstract).
Proceedings of the 22nd Annual Conference on Mathematical Foundations of Programming Semantics, 2006

2004
Towards a Logic for Pragmatics. Assertions and Conjectures.
J. Log. Comput., 2004


  Loading...