FLOC 2018: FEDERATED LOGIC CONFERENCE 2018

B
Bendkowski, Maciej	Combinatorics of explicit substitutions (extended abstract) (PDF, talk)
Breuvart, Flavien	Refining Properties of Filter Models: Sensibility, Approximability and Reducibility (PDF, talk)
K
Kobayashi, Naoki	On Two Kinds of Higher-Order Model Checking and Higher-Order Program Verification (PDF)
Kop, Cynthia	Automatic Termination Analysis Using WANDA (PDF)
L
Lescanne, Pierre	Combinatorics of explicit substitutions (extended abstract) (PDF, talk)
M
Mazza, Damiano	The next 700 (type-theoretical) denotational models ? (PDF, talk)
O
Olimpieri, Federico	Normalization and Taylor expansion of lambda-terms (PDF, talk)
R
Ruoppolo, Domenico	The next 700 (type-theoretical) denotational models ? (PDF, talk)
S
Smith, Connor	Orthogonality and sequentiality in substructural Linear HRSs (PDF, talk)
V
Vial, Pierre	Some applications of quantitative types inside and outside type theory (PDF)

Disclaimer | Powered by EasyChair Smart Program