* slides and papers
@ 2007-09-12 15:46 Marcelo Fiore
0 siblings, 0 replies; only message in thread
From: Marcelo Fiore @ 2007-09-12 15:46 UTC (permalink / raw)
To: categories
Dear All,
A transcript of the slides for my CT200t invited talk (with minor
revisions and added references) is now available from
<http://www.cl.cam.ac.uk/~mpf23/latest.html> .
The papers on `Differential Structure in Models of Multiplicative
Biadditive Intuitionistic Linear Logic' and `Equational Systems
and Free Constructions (with Chung-Kil Hur)' therein might also be
of interest.
Best regards, Marcelo.
^ permalink raw reply [flat|nested] only message in thread
only message in thread, other threads:[~2007-09-12 15:46 UTC | newest]
Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2007-09-12 15:46 slides and papers Marcelo Fiore
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).