This book is an attempt to give a systematic presentation of both logic and type theory from a categorical perspective, using the unifying concept of fibred cat

The first introductory textbook on description logics, relevant to computer science, knowledge representation and the semantic web.

In recent years, several formalisms for program construction have appeared. One such formalism is the type theory developed by Per Martin-Löf. Well suited as a

ETAPS 2005 was the eighth instance of the European Joint Conferences on Theory and Practice of Software. ETAPS is an annual federated conference that was establ