FLOC 2018: FEDERATED LOGIC CONFERENCE 2018

Editor: Stefano Guerrini

Authors	Title	Paper	Talk
Cynthia Kop	Automatic Termination Analysis Using WANDA
Naoki Kobayashi	On Two Kinds of Higher-Order Model Checking and Higher-Order Program Verification
Pierre Vial	Some applications of quantitative types inside and outside type theory
Maciej Bendkowski and Pierre Lescanne	Combinatorics of explicit substitutions (extended abstract)		Jul 07 10:00
Federico Olimpieri	Normalization and Taylor expansion of lambda-terms		Jul 07 16:00
Connor Smith	Orthogonality and sequentiality in substructural Linear HRSs		Jul 07 12:00
Flavien Breuvart	Refining Properties of Filter Models: Sensibility, Approximability and Reducibility		Jul 07 15:00
Damiano Mazza and Domenico Ruoppolo	The next 700 (type-theoretical) denotational models ?		Jul 07 16:30

Disclaimer | Powered by EasyChair Smart Program