FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
TALK AUTHOR INDEX
Shortcuts: ABCDELMS
A
Akiba, Ken
A Denotational Model of the Typed Lambda-Mu Calculus
Aschieri, Federico
On Natural Deduction for Herbrand Constructive Logics III: The Strange Case of the Intuitionistic Logic of Constant Domains
B
Brede, Nuria
The “duality of computation” from a fibrational perspective
C
Cantor, Anthony
Towards a Dualized Sequent Calculus with Canonicity
Condoluci, Andrea
Admissible tools in the kitchen of intuitionistic logic
D
Das, Anupam
Some ideas on cut-elimination for cyclic arithmetic proofs
E
Ebner, Gabriel
Fast cut-elimination using proof terms: an empirical study
L
Leigh, Graham
Herbrand's Theorem as Higher-Order Recursion
M
Manighetti, Matteo
Admissible tools in the kitchen of intuitionistic logic
S
Simpson, Alex
Sheaf models of classical logic extended by independence relations
Stratulat, Sorin
Validating Back-links of FOL-ID Cyclic Pre-proofs
Stump, Aaron
Towards a Dualized Sequent Calculus with Canonicity