Epistemology versus Ontology

This book brings together philosophers, mathematicians and logicians to penetrate important probl...

Epistemology versus Ontology

This book brings together philosophers, mathematicians and logicians to penetrate important probl...

Types for Proofs and Programs

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

Epistemology versus Ontology

This book brings together philosophers, mathematicians and logicians to penetrate important probl...

Category Theory and Computer Science

Types for Proofs and Programs

This book contains a selection of papers presented at the third annual workshop of the Esprit Wor...

Applied Semantics

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