|
FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
| Andreas Nuyts Pages in this Program All Proceedings Papers | HoTT/UF Abstracts | HoTT/UF Abstracts: Papers with Abstracts | HoTT/UF on Saturday, July 7th | HoTT/UF on Sunday, July 8th | HoTT/UF Program | LICS on Thursday, July 12th | LICS PDF files | LICS PDF files: Papers with Abstracts | LICS Program | Paper: Degrees of Relatedness - A Unified Framework for Parametricity, Irrelevance, Ad Hoc Polymorphism, Intersections, Unions and Algebra in Dependent Type Theory | Paper: Internalizing Presheaf Semantics: Charting the Design Space | Paper: Robust Notions of Contextual Fibrancy | Program | Program for Saturday, July 7th | Program for Sunday, July 8th | Program for Thursday, July 12th |
|
|
|