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!