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...

First account of the subject by two of its leading exponents. Essentially self-contained.

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...

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.

The author presents a theory whereby nets, terms and formulas represent concurrent processes at t...