FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
Andreas Nuyts
Organization: Katholieke Universiteit Leuven
Web page: https://distrinet.cs.kuleuven.be/people/andreasn
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