This book is based on material presented at the international summer school on Applied Semantics ...

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

Specification and Verification of a Formal System for Structurally Recursive Functions.- A Predic...

This book presents a strictly refereed collection of revised full papers selected from the papers...

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