FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
Luke Ong
Organization: University of Oxford
Web page: http://www.cs.ox.ac.uk/people/luke.ong/personal
Pages in this Program
All Proceedings Papers
FSCD on Thursday, July 12th
FSCD Program
GS on Saturday, July 7th
GS Program
LICS on Thursday, July 12th
LICS PDF files
LICS PDF files: Papers with Abstracts
LICS Program
LMW on Sunday, July 8th
LMW Program
Paper: Species, Profunctors and Taylor Expansion Weighted by SMCC--A Unified Framework for Modelling Nondeterministic, Probabilistic and Quantum Programs--
Program
Program for Saturday, July 7th
Program for Sunday, July 8th
Program for Thursday, July 12th