×
Študij fizike Študij matematike Raziskave O fakulteti EN
Dogodki Obvestila Imenik Urniki Knjižnica Založba Za sodelavce Iskanje

Andrej Bauer: Kratek dokaz neprotislovnosti lambda računa

Datum objave: 5. 4. 2010
Seminar za temelje matematike in teoretično računalništvo
Torek, 5. 4. 2010, od 12h do 14h, Plemljev seminar, Jadranska 19

Povzetek: Predstavil bom dokaz neprotislovnosti lambda računa (brez tipov), ki temelji na Scottovem modelu Pω. Da bi bil dokaz čim krajši in čim bolj samozadosten, se bomo izognili topologiji in vse izračunali kar z golimi rokami.

Vabljeni!

čet
13
Nov
Sewon Park: Designing a Modeling Language for Security Verification of Networked Systems
Seminar za temelje matematike in teoretično računalništvo
10.15 - Jadranska 21, 3.07
čet
6
Nov
Dario Stein: Categories of Relations which Compose Independently
Seminar za temelje matematike in teoretično računalništvo
10.15 - Jadranska 21, učilnica 3.07
čet
23
Okt
Andrew Swan: The cohomology of the natural numbers in cubical assemblies
Seminar za temelje matematike in teoretično računalništvo
10.15 - Jadranska 21, učilnica 3.07
čet
16
Okt
David E. Narvaez: Separating and Collapsing Electoral Control Types, More Formally
Seminar za temelje matematike in teoretično računalništvo
10.00 - Jadranska 21, učilnica 3.07
čet
25
Sep
Matija Pretnar: Simetrično programiranje
Seminar za temelje matematike in teoretično računalništvo
10.00 - Jadranska 21, učilnica 3.04

Vsa obvestila