The present volume contains a considered choice of the existing literature on Automath. Many of t...

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

Type theory is a fast-evolving field at the crossroads of logic, computer science and mathematics...

Type theory is a fast-evolving field at the crossroads of logic, computer science and mathematics...

This book constitutes the refereed proceedings of the 10th International Conference on Intelligen...

This book constitutes the refereed proceedings of the Second International Conference on Interact...

These proceedings contain a refereed selection of papers presented at the Second Annual Workshop ...

A gentle introduction for graduate students and researchers in the art of formalizing mathematics...

These proceedings contain a refereed selection of papers presented at the Second Annual Workshop ...

This book constitutes the refereed proceedings of the 10th International Conference on Intelligen...

This book constitutes the refereed proceedings of the Second International Conference on Interact...

The 2006 proceedings from the Annual European Meeting of the Association for Symbolic Logic, also...