|
Corrado Biasi has had a joint visit
to the University of Paris(Creteil) and Queen Mary in June 2005. Mr. Biasi,
together with Dr. Bellin studied bi-intuitionistic logic as a typing system for coroutines and
continuations, in relation to the work of Dr Tristan Crolard, who teaches
in that university.
The visit has been very successful, as it has
established that our reading of polarized bi-intuitionistic logic as a
typing system for contunation is indeed consistent with that of Crolard as
well as with the seminal work by Hayo Thielecke in this area and also with
an important unpublished paper by Edmund Robinson.
The results of this investigation have been reported at the IMLA workshop,
satellite event of LICS 2005 in Chicago, in the paper G. Bellin. A term assignment
for Dual Intuitionistic Logic, which has been accepted there.
Its journal version will now be submitted to "Mathematical Structures in Computer Science".
There is a joint paper of Corrado Biasi and Dr. Gianluigi Bellin:
G.Bellin and C.Biasi., "Towards a logic for pragmatics: Assertions and
Conjectures", Journal of Logic and Computation, Vol 14, 4, 2004,
pp.473-506.
|
