Andrej Bauer: Andromedanska teorija tipov 2
Datum objave: 3. 11. 2014
Seminar za temelje matematike in teoretično računalništvo
Torek, 4. 11. 2014, od 12h do 14h, Plemljev seminar, Jadranska 19
Nadaljevali bomo z razglabljanjem o tem, kako implementirati teorijo tipov s pravilom refleksije.
Vabljeni!