×
Studying Physics Studying Mathematics Research The Faculty SL
Events News Staff Directory Timetables For staff Search

Andrej Bauer: Kratek dokaz neprotislovnosti lambda računa

Date of publication: 5. 4. 2010
Mathematics and theoretical computing seminar
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!

Thu
4
Dec
Luna Strah: Heyting-valued Types
Mathematics and theoretical computing seminar
10:15 - Jadranska 21, učilnica 3.07
Thu
27
Nov
Andrej Bauer: Oracle modalities
Mathematics and theoretical computing seminar
10:15 - Jadranska 21, učilnica 3.07
Thu
20
Nov
Alex Simpson: Independent pullbacks and monoidal structure
Mathematics and theoretical computing seminar
10:15 - Jadranska 21, učilnica 3.07
Thu
13
Nov
Sewon Park: Designing a Modeling Language for Security Verification of Networked Systems
Mathematics and theoretical computing seminar
10:15 - Jadranska 21, 3.07
Thu
6
Nov
Dario Stein: Categories of Relations which Compose Independently
Mathematics and theoretical computing seminar
10:15 - Jadranska 21, učilnica 3.07

All news