In this volume, different aspects of logics for dependence and independence are discussed, includ...

This volume is based on the 2008 Clifford Lectures on Information Flow in Physics, Geometry and L...

This book constitutes the refereed proceedings of the 5th International Conference on Typed Lambd...

In this volume, different aspects of logics for dependence and independence are discussed, includ...

In this volume, different aspects of logics for dependence and independence are discussed, includ...

ICALP 2010, the 37th edition of the International Colloquium on Automata, Languages and Programmi...

This book constitutes the refereed proceedings of the 5th International Conference on Typed Lambd...

The papers in this volume were presented at the fourthbiennial SummerConference on Category...

ICALP 2010, the 37th edition of the International Colloquium on Automata, Languages and Programmi...