From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/491 Path: news.gmane.org!not-for-mail From: categories Newsgroups: gmane.science.mathematics.categories Subject: resolutions as fractions, space complexity Date: Thu, 2 Oct 1997 16:46:43 -0300 (ADT) Message-ID: NNTP-Posting-Host: main.gmane.org Mime-Version: 1.0 Content-Type: TEXT/PLAIN; charset=US-ASCII X-Trace: ger.gmane.org 1241016997 25988 80.91.229.2 (29 Apr 2009 14:56:37 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Wed, 29 Apr 2009 14:56:37 +0000 (UTC) To: categories Original-X-From: cat-dist Thu Oct 2 16:47:40 1997 Original-Received: by mailserv.mta.ca; id AA15313; Thu, 2 Oct 1997 16:46:43 -0300 Original-Lines: 24 Xref: news.gmane.org gmane.science.mathematics.categories:491 Archived-At: Date: Thu, 2 Oct 1997 12:19:44 -0500 (CDT) From: J. R. Otto Dear People, The following revisions of talks on work in progress may be of interest. 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. 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