* resolutions as fractions, space complexity
@ 1997-10-02 19:46 categories
0 siblings, 0 replies; only message in thread
From: categories @ 1997-10-02 19:46 UTC (permalink / raw)
To: categories
Date: Thu, 2 Oct 1997 12:19:44 -0500 (CDT)
From: J. R. Otto <otto@quant.pr.mcs.net>
Dear People,
The following revisions of talks on work in progress may be of
interest.
<from.dvi.gz> From NNO to Complexity (12 pages, October 2, 1997). We
begin to revisit space complexity by collapsing resolutions to maps.
So we evolve our talk `Presenting LCC Categories by Answering Queries'
by stratifying higher order types and allowing alternatives.
<lcc-ans.dvi.gz> Presenting LCC Categories by Answering Queries (15
pages, October 1, 1997). We present LCC categories in a manner that
provides a basis for logic programming with dependent types and
equality. We find that resolutions are left fractions which collapse
to the maps.
They are linked to http://www.mcs.net/~quant/ .
Regards, Jim Otto
quant@mcs.com
^ permalink raw reply [flat|nested] only message in thread
only message in thread, other threads:[~1997-10-02 19:46 UTC | newest]
Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
1997-10-02 19:46 resolutions as fractions, space complexity categories
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).