[Prev][Next][Index][Thread]
Italian Workshop Abstracts Available
Date: Wed, 26 Feb 92 11:18:25 PST
To: linear@cs.stanford.edu
Informal Workshop of Italian researchers in Linear Logic
An informal workshop in linear logic was organized in Siena (Certosa di
Pontignano, Jan 10-12,1992), in order to discuss results and open
problems of the participants.
Here the list of speakers and the titles of talks:
1) Aldo Ursini (Siena)
"Representations of quantales as quantales of endomorphisms
and a 'naive' semantics for linear logic"
2) Giovanni Sambin (Padova)
"Pretopology and first-order completeness theorem"
3) Ugo Solitro (Milano)
"Quantale sets and sheaves of quantales"
4) Michele Abrusci (Roma)
"Results and problems about non-commutative linear logic"
5) Gianfranco Mascari (Roma)
"A survey on the categorical investigations on (non-commutative)
linear logic"
6) Sara Negri (Padova)
"On the categorical semantics for classical and intuitionistic
linear logic"
7) Maurizio Castellan (Roma)
"Categorical semantics of non-commutative linear logic"
8) Marco Pedicini (Roma)
"Bohm-out technique as pure proof net extraction"
9) Anna Labella (Roma)
"Categorical semantics for non-commutative proof-nets"
10) Gianluigi Bellin (Edimburgh)
"On formulas with polarities"
Detailed abstarcts of talks may be obtained asking to
mascari@diecik.iac.rm.cnr.it (Gianfranco Mascari)
or
mascari@150.146.2.3
The next informal workshop of linear logic in Italy will take place on
June 1992.