This two-volume set of LNCS 7391 and LNCS 7392 constitutes the refereed proceedings of the 39th I...

Coherence and valid isomorphism in closed categories applications of proof theory to category the...

This book constitutes the proceedings of the 18th International Conference on Foundations of Soft...

This two-volume set of LNCS 7391 and LNCS 7392 constitutes the refereed proceedings of the 39th I...

The papers in this volume were presented at the fourth biennial Summer Conference on Category and...

The aim of this volume is to present developments in semantics and logics of computation in a way...

Mit dem Lonely Planet USA Westen auf eigene Faust durch Wild West und Glory Glitter! Etliche Mona...

Lonely Planet's USA is your passport to the most relevant, up-to-date advice on what to see and s...

The aim of this volume is to present developments in semantics and logics of computation in a way...

Most object-oriented or functional languages are higher order languages, i.e. ones in which the m...

What was the relationship of ancient education to early Christianity? This volume provides an in-...

Paul and the Greco-Roman Philosophical Tradition provides a fresh examination of the relationship...