Follow us_

Publication Search Results

Exact matches for:

• Author = Carmody S

1. Carmody S, Leeming M, Walters RFC
Carmody S, Leeming M, Walters RFC: The Todd-Coxeter procedure and left Kan extensions, Journal of Symbolic Computation, 19 (1995), 459–488. 96i:18001

2. Carmody S, Reilly C, Walters RFC
Carmody S, Reilly C, Walters RFC: KAN --- a program for computing left Kan extensions, (1991),

3. Walters RFC, Carmody S
Walters RFC, Carmody S: Computing quotients of actions of a free category, Lecture Notes in Mathematics, 1448 Springer, Berlin, (1991), 63–78. MR1173005