Corrado Biasi

According to our database1, Corrado Biasi
  • authored at least 3 papers between 2004 and 2008.
  • has a "Dijkstra number"2 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

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

2006
On the Observational Theory of the CPS-calculus: (Extended Abstract).
Electr. Notes Theor. Comput. Sci., 2006

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


  Loading...