Edited in collaboration with FoLLI, the Association of Logic, Language and Information this book ...

Edited in collaboration with FoLLI, the Association of Logic, Language and Information this book ...

Unwinding proofs ('Proof Mining').- Intuitionistic and classical arithmetic in all finite types.-...

The Annual European Meeting of the Association for Symbolic Logic, also known as the Logic Colloq...

The Annual European Meeting of the Association for Symbolic Logic, also known as the Logic Colloq...

This is the first treatment in book format of proof-theoretic transformations - known as proof in...