Type Theory for Vegetables
1–9 of 9
Seminar and crash course on advanced type theory and formal logic for vegetables.
Web: http://oxij.org/activity/ttfv/
Implementation language: Agda.
Seminar meetings: every Thursday 19:30, near 147A at the main building of NRU ITMO, Kronverkskiy pr. 49, Saint Petersburg, Russia.
Implementation meetings: not decided yet.
Web: http://oxij.org/activity/ttfv/
Implementation language: Agda.
Seminar meetings: every Thursday 19:30, near 147A at the main building of NRU ITMO, Kronverkskiy pr. 49, Saint Petersburg, Russia.
Implementation meetings: not decided yet.
0 selected
11/8/12
5/31/12
