FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
TALK AUTHOR INDEX
Shortcuts: BKLMORSV
B
Bendkowski, Maciej
Combinatorics of explicit substitutions (extended abstract)
Breuvart, Flavien
Refining Properties of Filter Models: Sensibility, Approximability and Reducibility
K
Kobayashi, Naoki
On Two Kinds of Higher-Order Model Checking and Higher-Order Program Verification
Kop, Cynthia
Wanda: a higher-order termination tool
L
Lescanne, Pierre
Combinatorics of explicit substitutions (extended abstract)
M
Mazza, Damiano
The next 700 (type-theoretical) denotational models ?
O
Olimpieri, Federico
Normalization and Taylor expansion of lambda-terms
R
Ruoppolo, Domenico
The next 700 (type-theoretical) denotational models ?
S
Smith, Connor
Orthogonality and sequentiality in substructural Linear HRSs
V
Vial, Pierre
Some applications of quantitative types inside and outside type theory