FLOC 2018: FEDERATED LOGIC CONFERENCE 2018

D
Das, Anupam	Proof complexity of deep inference: a survey (PDF, talk)
G
Guglielmi, Alessio	Two Unifying Structural Principles (PDF, talk)
H
Heijltjes, Willem	An introduction to deep inference (PDF, talk) Deep-Inference Intersection Types (PDF, talk)
Horne, Ross	Truely Concurrent Processes in the Calculus of Structures (PDF, talk)
Hughes, Dominic	Some incoherent musings on deep inference and combinatorial proofs (PDF, talk)
L
Lellmann, Bjoern	Sequentialising nested systems (PDF, talk)
M
Marin, Sonia	Nested sequents for modal logics and beyond (PDF, talk)
P
Paulus, Joseph	Deep-Inference Intersection Types (PDF, talk)
Pimentel, Elaine	Sequentialising nested systems (PDF, talk)
R
Ralph, Benjamin	Deep Inference, Herbrand's Theorem and Expansion Proofs (PDF, talk)
Ramanayake, Revantha	Sequentialising nested systems (PDF, talk)

Disclaimer | Powered by EasyChair Smart Program