CL&C Full papers and abstracts: Author Index

CL&C FULL PAPERS AND ABSTRACTS: AUTHOR INDEX

Shortcuts: A C D E L M S

A
Aschieri, Federico	On Natural Deduction for Herbrand Constructive Logics III: The Strange Case of the Intuitionistic Logic of Constant Domains (PDF, talk)
C
Cantor, Anthony	(Short Paper) Towards a Dualized Sequent Calculus with Canonicity (PDF, talk)
Condoluci, Andrea	Admissible tools in the kitchen of intuitionistic logic (PDF, talk)
D
Das, Anupam	Some ideas on cut-elimination for cyclic arithmetic proofs (PDF, talk)
E
Ebner, Gabriel	Fast cut-elimination using proof terms: an empirical study (PDF, talk)
L
Leigh, Graham	Herbrand's Theorem as Higher-Order Recursion (PDF, talk)
M
Manighetti, Matteo	Admissible tools in the kitchen of intuitionistic logic (PDF, talk)
S
Stratulat, Sorin	Validating Back-links of FOL$_{\mbox{\normalsize ID}}$ Cyclic Pre-proofs (PDF, talk)
Stump, Aaron	(Short Paper) Towards a Dualized Sequent Calculus with Canonicity (PDF, talk)