PSC 2014 ABSTRACTS: AUTHOR INDEX

Papers Papers with Abstracts Preface Author Index Keyword Index

Shortcuts: B C E F G H I J M O R S Y

B
Basold, Henning	Observational Equivalence for Behavioural Differential Equations (PDF, talk)
Berardi, Stefano	Effective Bounds on the Podelski-Rybalchenko Termination Theorem (PDF, talk)
Berger, Ulrich	Program extraction in Church's simple theory of types (invited talk) (PDF, talk) Extracting Monadic Parsers from Proofs (PDF, talk)
C
Cohen, Liron	Intuitionistic Ancestral Logic (PDF, talk)
Constable, Robert	Intuitionistic Ancestral Logic (PDF, talk)
E
Espindola, Christian	Constructive completeness and exploding models (PDF, talk)
F
Ferrari, Mauro	Proof-search in natural deduction calculi for IPL (PDF, talk)
Fiorentini, Camillo	Proof-search in natural deduction calculi for IPL (PDF, talk)
Forssell, Henrik	Constructive completeness and exploding models (PDF, talk)
G
Geuvers, Herman	A typed lambda-calculus with call-by-name and call-by-value iteration (PDF, talk)
H
Hansen, Helle Hvid	Observational Equivalence for Behavioural Differential Equations (PDF, talk)
Herbelin, Hugo	Computing with Gödel’s completeness theorem (PDF, talk)
Hou, Tie	Program extraction in Church's simple theory of types (invited talk) (PDF, talk)
I
Ilik, Danko	Computing with Gödel’s completeness theorem (PDF, talk)
J
Jones, Alison	Extracting Monadic Parsers from Proofs (PDF, talk)
M
Melikhov, Sergey	A joint logic of problems and propositions, a modified BHK-interpretation and proof-relevant topological models of intuitionistic logic (PDF, talk)
O
Oliva, Paulo	Effective Bounds on the Podelski-Rybalchenko Termination Theorem (PDF, talk)
R
Ruhlyadko, Nadezhda	Multi-agent justification logic (PDF, talk)
S
Seisenberger, Monika	Extracting Monadic Parsers from Proofs (PDF, talk)
Steila, Silvia	Effective Bounds on the Podelski-Rybalchenko Termination Theorem (PDF, talk)
Y
Yavorskaya, Tatiana	Multi-agent justification logic (PDF, talk)