MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Computing left Kan extensions." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

5 documents found, showing 1 through 5.

ATOM

Computing left Kan extensions
by M. R. Bush, M. Leeming, R. F. C. Walters — 1997 — J. Symb. Comput
…Abstract Journal of Symbolic Computation 35 (2003) 107–126 Computing left Kan extensions M.R. Bush…
Cited by 1 (0 self) – Add To MetaCart

Left Kan Extensions Over omega-Cat
by David B. Benson — 1993
…Left Kan Extensions Over !-Cat David B. Benson Electrical Engineering & Computer Science…
Add To MetaCart

doi: 10.1006/jsco.1999.0294 Available online at http://www.idealibrary.com on
by Symbolic Computation Using, Ronald Brown, Anne Heyworth — 2000 — J. Symbolic Computation
…://www.idealibrary.com on Using Rewriting Systems to Compute Left Kan Extensions and Induced Actions of Categories RONALD BROWN…
Add To MetaCart

Update Algorithms for the Sketch Data Model
by Michael Johnson, Robert Rosebrugh — 2001 — Proceedings of CSCWD 2001, the Sixth International Conference on Computer Supported Cooperative Work in Design, 367–376, NRC and IEEE
…(IE). Now J has a left adjoint computed as the left Kan extension of the functor along the inclusion J…
Cited by 2 (1 self) – Add To MetaCart

Explicit Substitutions and Higher-Order Syntax (Extended Abstract)
by Neil Ghani, Tarmo Uustalu — 2003 — in Proc. of 2nd ACM SIGPLAN Wksh. on Mechanized Reasoning about Languages with Variable Binding, MERLIN'03
… above is actually computing the left Kan extension LanI f (EF # I f )(EF X). In addition, we…
Cited by 4 (2 self) – Add To MetaCart

Showing 1 through 5.

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB