From palmgren@math.uu.se Wed Sep  1 20:05:03 2010
Date: Wed, 1 Sep 2010 20:04:43 +0200 (CEST)
From: Erik Palmgren <palmgren@math.uu.se>
To: logik@math.su.se
Subject: [logsem] Logikseminariet Stockholm-Uppsala


LOGIKSEMINARIET STOCKHOLM-UPPSALA

Onsdagen den 8 september ges ett seminarie i Uppsala:


Erik Palmgren

    On the category of types with itensional identity

kl 10.30 - 12.15 i sal Å11167 (Ångströmlaboratoriet, plan 1, hus 1).


    [ Part 2: "Attached Text" ]


_______________________________________________
logik@math.su.se mailing list.
To unsubscribe or change your subscription options:
https://www2.math.su.se/mailman/options/logik?UserOptions=3Dedit

Seminar homepage: http://www.math.su.se/~jesper/seminarier/