| |
| 2003 | ||
|---|---|---|
| 2 | EE | M. R. Bush, M. Leeming, Robert F. C. Walters: Computing left Kan extensions. J. Symb. Comput. 35(2): 107-126 (2003) |
| 1995 | ||
| 1 | S. Carmody, M. Leeming, Robert F. C. Walters: The Todd-Coxeter Procedure and Left Kan Extensions. J. Symb. Comput. 19(5): 459-488 (1995) | |
| 1 | M. R. Bush | [2] |
| 2 | S. Carmody | [1] |
| 3 | Robert F. C. Walters | [1] [2] |