Algebraic logic, varieties of algebras, and algebraic varieties (1995)

Cached

Download Links

by B. Plotkin
Citations:13 - 5 self

Active Bibliography

Contents Preface – unknown authors - 2002
40 Categories and groupoids – P. J. Higgins, P. J. Higgins - 1971
66 A Categorical Programming Language – Tatsuya Hagino, Tatsuya Hagino - 1987
AN ALGEBRAIC APPROACH TO KNOWLEDGE BASES INFORMATIONAL EQUIVALENCE – B. Plotkin, T. Plotkin - 2003
13 Executable Tile Specifications for Process Calculi – Roberto Bruni, José Meseguer, Ugo Montanari - 1999
8 Characterisation of a Class of Equations With Solutions Over Torsion-Free Groups – Roger Fenn, Colin Rourke
ISOTYPED ALGEBRAS – Boris Plotkin - 812
1 The origins of combinatorics on words – Jean Berstel, Dominique Perrin - 2007
13 Algebraic Processing of Programming Languages – Teodor Rus - 1995
24 Category-based Semantics for Equational and Constraint Logic Programming – Razvan Diaconescu - 1994
Specifying Data Objects with Initial Algebras – unknown authors - 909
© Hindawi Publishing Corp. COMPLEXITY OF TERMS, COMPOSITION, AND HYPERSUBSTITUTION – Klaus Denecke, Shelly L. Wismath - 2002
The Syntax of Coherence – Noson S. Yanofsky - 1999
33 Process and Term Tile Logic – Roberto Bruni, José Meseguer, Ugo Montanari - 1998
53 Types, Abstraction, and Parametric Polymorphism, Part 2 – QingMing Ma, John C. Reynolds - 1991
18 Pseudo limits, biadjoints, and pseudo algebras: categorical foundations of conformal field theory – Thomas M. Fiore
12 The Category Theoretic Understanding of Universal Algebra: Lawvere Theories and Monads – Martin Hyland, John Power - 2007
4 A January 2005 invitation to random groups – Yann Ollivier - 2005
3 The Development of Categorical Logic – John L. Bell