|
|
Contents Preface
– unknown authors
- 2002
|
|
62
|
A Categorical Programming Language
– Tatsuya Hagino, Tatsuya Hagino
- 1987
|
|
|
AN ALGEBRAIC APPROACH TO KNOWLEDGE BASES INFORMATIONAL EQUIVALENCE
– B. Plotkin, T. Plotkin
- 2003
|
|
12
|
Executable Tile Specifications for Process Calculi
– Roberto Bruni, José Meseguer, Ugo Montanari
- 1999
|
|
1
|
Clones and Genoids in Lambda Calculus and First Order Logic
– Zhaohua Luo
- 712
|
|
|
Clones and Genoids in Lambda Calculus and First Order Logic
– unknown authors
- 712
|
|
|
Clones and Genoids in Lambda Calculus and First Order Logic
– unknown authors
- 712
|
|
|
ISOTYPED ALGEBRAS
– Boris Plotkin
- 812
|
|
24
|
Category-based Semantics for Equational and Constraint Logic Programming
– Razvan Diaconescu
- 1994
|
|
13
|
Algebraic Processing of Programming Languages
– Teodor Rus
- 1995
|
|
|
Specifying Data Objects with Initial Algebras
– unknown authors
- 909
|
|
3
|
A January 2005 invitation to random groups
– Yann Ollivier
- 2005
|
|
32
|
Process and Term Tile Logic
– Roberto Bruni, José Meseguer, Ugo Montanari
- 1998
|
|
|
The Syntax of Coherence
– Noson S. Yanofsky
- 1999
|
|
12
|
Pseudo limits, biadjoints, and pseudo algebras: categorical foundations of conformal field theory
– Thomas M. Fiore
|
|
6
|
The Category Theoretic Understanding of Universal Algebra: Lawvere Theories and Monads
– Martin Hyland, John Power
- 2007
|
|
53
|
Types, Abstraction, and Parametric Polymorphism, Part 2
– QingMing Ma, John C. Reynolds
- 1991
|
|
15
|
Dynamic Algebras: Examples, Constructions, Applications
– Vaughan Pratt
- 1991
|
|
|
Gelfand spectra of C*-algebras in topos theory
– Martijn Caspers
- 2008
|
