-
-
27.04.1995
Logic is now widely recognized as one of the foundational disciplines of computing, and its appli...
-
23.09.2005
This book develops the theory of typed feature structures, a data structure that generalizes both...
-
28.03.1991
TAPSOFT '91 is the Fourth International Joint Conference on Theory and Practice of Software Devel...
-
18.10.2003
This book discusses recent research in the theoretical foundations of several subjects of importa...
-
20.04.2001
This book constitutes the refereed proceedings of the 5th International Conference on Typed Lambd...
-
02.06.2010
All traditional implementation techniques for functional languages (mostly based on supercombinat...
-
31.05.2005
Classical logic has proved inadequate in various areas of computer science, artificial intelligen...
-
09.06.2003
Logic and Computation is concerned with techniques for formal theorem-proving, with particular re...
-
25.01.2001
Logic is now widely recognized as one of the foundational disciplines of computing, and its appli...
-
21.08.1991
The papers in this volume were presented at the fourthbiennial SummerConference on Category Theor...
-
01.10.1986
Categories.- Elements of categorical reasoning : Products and coproducts and some other (co-)limi...