FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
Pedro Jorge Fernandes Ângelo
Organization: Laboratório de Inteligência Artificial e Ciência de Computadores
Pages in this Program
All Proceedings Papers
ITRS Full papers
ITRS Full papers: Papers with Abstracts
ITRS on Sunday, July 8th
ITRS Program
Paper: Gradual Intersection Types
Program
Program for Sunday, July 8th