M. Leeming

Publication Activity (10 Years)

Years Active: 1995-2003
Publications (10 Years): 0

Publications

M. R. Bush, M. Leeming, Robert F. C. Walters
Computing left Kan extensions. J. Symb. Comput. 35 (2) (2003)
S. Carmody, M. Leeming, Robert F. C. Walters
The Todd-Coxeter Procedure and Left Kan Extensions. J. Symb. Comput. 19 (5) (1995)