This book develops the theory of typed feature structures, a data structure that generalizes both...

This book discusses recent research in the theoretical foundations of several subjects of importa...

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

All traditional implementation techniques for functional languages (mostly based on supercombinat...

Classical logic has proved inadequate in various areas of computer science, artificial intelligen...

Logic and Computation is concerned with techniques for formal theorem-proving, with particular re...

Logic is now widely recognized as one of the foundational disciplines of computing, and its appli...

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

Categories.- Elements of categorical reasoning : Products and coproducts and some other (co-)limi...

Expounds G del's incompleteness theorey using an information theoretic approach based on the size...

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

The book will be of value to all involved in database research.