A New Framework for Declarative Programming (2001)
Cached
Download Links
- [jlipton.web.wesleyan.edu]
- [clip.dia.fi.upm.es]
- [www.wesleyan.edu]
- DBLP
Other Repositories/Bibliography
by
Stacy E. Finkelstein
,
Peter Freyd
,
James Lipton
| Citations: | 6 - 3 self |
BibTeX
@MISC{Finkelstein01anew,
author = {Stacy E. Finkelstein and Peter Freyd and James Lipton},
title = {A New Framework for Declarative Programming},
year = {2001}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
We propose a new indexed-category syntax and semantics of Weak Hereditarily Harrop logic programming with constraints, based on resolution over tau-categories:finite product categories with canonical structure.
