to Type Theory.- Dependent Types at Work.- A Tutorial on Type-Based Termination.- Structural Abst...

This book constitutes the proceedings of the 16th Brazililan Symposium on Programming Languages, ...

This book constitutes the proceedings of the Second International Workshop on Dynamic Logic, DALI...

This book constitutes the proceedings of the 4th International Conference on Artificial Intellige...