Jos,<br>
<br>
You may wish to have a look at Talcott's "Programming and Proving with Function and Control Abstractions", a set of lecture notes&nbsp;on "Rum" from 1986:<br>
<A href="http://blackforest.stanford.edu/clt/publications.html?name=talcott-89wix">http://blackforest.stanford.edu/clt/publications.html?name=talcott-89wix</A><br>
<br>
Whether it's worthwhile or not, Proquest/UMI is where I got a copy of Talcott's dissertation, several years ago. The 'right' entry point into their site for individuals to order dissertations is:<br>
<A href="http://disexpress.umi.com/">http://disexpress.umi.com/</A><br>
<br>
But I do see that prices are substantially higher for shipment to Europe.<br>
<br>
Jim<br>
<br>
-----Original Message-----<br>
From: Jos Koot &lt;jos.koot@telefonica.net&gt;<br>
To: Matthias Felleisen &lt;matthias@ccs.neu.edu&gt;<br>
Cc: plt-scheme@list.cs.brown.edu; Robby Findler &lt;robby@eecs.northwestern.edu&gt;; Jim Bender &lt;benderjg2@aol.com&gt;<br>
Sent: Sun, 19 Apr 2009 10:05 am<br>
Subject: Re: [plt-scheme] coroutine versus stream<br>
<br>


<div id=AOLMsgPart_0_bce97a75-f93b-48b3-9c35-8f3606b583f3 style="FONT-SIZE: 12px; MARGIN: 0px; COLOR: #000; FONT-FAMILY: Tahoma, Verdana, Arial, Sans-Serif; BACKGROUND-COLOR: #fff">Thanks for warning me,&nbsp;<br>
Tomorrow I'll be in Barcelona (Spain) and have a look at the university library there, although I am not sure they have a strong department for informatics/mathematics.&nbsp;<br>
Next week I'll be in the neighbourhood of Amsterdam and may have a look in the library of the CWI (Centrum for Mathematica and Informatica) Lot's of friendly people there wo can poi
nt me to the right documents. May be I can find time to visit some libraries of the the University of Amsterdam (where I did my studies in mathematics and physics and have worked as a researcher) Also a good opportunity to meet some former colleagues.&nbsp;<br>
&nbsp;<br>
The matter interests me. Mathematical proof of equivalences would be interesting, although I always have trouble getting acquanted with unfamiliar notations. I also have this problem of not understanding a theorem and even not being able to use a theorem until I think "why did I not discover this myself?" (off topic I'm afraid)&nbsp;<br>
&nbsp;<br>
Any people on this list living near Barcelona ??? (for me near = +- within 300 km)&nbsp;<br>
I live in MatarĂ³ (in the northern part of the mediterranean coast of Spain)&nbsp;<br>
Jos&nbsp;<br>
&nbsp;<br>
----- Original Message ----- From: "Matthias Felleisen" &lt;<A __removedLink__744533211__href="mailto:matthias@ccs.neu.edu">matthias@ccs.neu.edu</A>&gt;&nbsp;<br>
To: "Jos Koot" &lt;<A __removedLink__744533211__href="mailto:jos.koot@telefonica.net">jos.koot@telefonica.net</A>&gt;&nbsp;<br>
Cc: "Robby Findler" &lt;<A __removedLink__744533211__href="mailto:robby@eecs.northwestern.edu">robby@eecs.northwestern.edu</A>&gt;; "Jim Bender" &lt;<A __removedLink__744533211__href="mailto:benderjg2@aol.com">benderjg2@aol.com</A>&gt;; &lt;<A __removedLink__744533211__href="mailto:plt-scheme@list.cs.brown.edu">plt-scheme@list.cs.brown.edu</A>&gt;&nbsp;<br>
Sent: Sunday, April 19, 2009 4:20 PM&nbsp;<br>
Subject: Re: [plt-scheme] coroutine versus stream&nbsp;<br>
&nbsp;<br>
&gt;&nbsp;<br>
&gt;&nbsp;<br>
&gt; Sorry Jos but it's not worth buy
ing this kind of document (I wouldn't recommend buying my dissertation either). Go to the closest &gt; university library (cs) and ask whether they can't get a copy for you. It may take some time but it's your best bet. Also, &gt; Carolyn's treatment is formal, i.e., she develops a framework for proving equivalences. (She likes baroque notation, btw.) If &gt; you're interested in the ideas only, she has pointers to even earlier suggestions on how coroutines and streams relate -- &gt; Matthias&nbsp;<br>
&gt;&nbsp;<br>
&gt;&nbsp;<br>
&gt;&nbsp;<br>
&gt;&nbsp;<br>
&gt;&nbsp;<br>
&gt; On Apr 19, 2009, at 5:25 AM, Jos Koot wrote:&nbsp;<br>
&gt;&nbsp;<br>
&gt;&gt; Thanks,&nbsp;<br>
&gt;&gt; I have no account on that site, but I posted a question whether or not they do serve private persons too.&nbsp;<br>
&gt;&gt; As I am retired I have no access via an official institute.&nbsp;<br>
&gt;&gt; Thanks, again, Jos&nbsp;<br>
&gt;&gt;&nbsp;<br>
&gt;&gt; ----- Original Message ----- From: "Robby Findler" &lt;<A __removedLink__744533211__href="mailto:robby@eecs.northwestern.edu">robby@eecs.northwestern.edu</A>&gt;&nbsp;<br>
&gt;&gt; To: "Jim Bender" &lt;<A __removedLink__744533211__href="mailto:benderjg2@aol.com">benderjg2@aol.com</A>&gt;&nbsp;<br>
&gt;&gt; Cc: "Jos Koot" &lt;<A __removedLink__744533211__href="mailto:jos.koot@telefonica.net">jos.koot@telefonica.net</A>&gt;; &lt;plt- <A __removedLink__744533211__href="mailto:scheme@list.cs.brown.edu">scheme@list.cs.brown.edu</A>&gt;; "Matthias Felleisen" &lt;<A __removedLink__744533211__href="mailto:matthias@ccs.neu.edu">matthias@ccs.neu.edu</A>&gt;&nbsp;<br>
&gt;&gt; Sent: Sunday, April 19, 2009 2:26 AM&nbsp;<br>
&g
t;&gt; Subject: Re: [plt-scheme] coroutine versus stream&nbsp;<br>
&gt;&gt;&nbsp;<br>
&gt;&gt;&nbsp;<br>
&gt;&gt; It looks like you can buy a copy here:&nbsp;<br>
&gt;&gt;&nbsp;<br>
&gt;&gt; <A target=_blank __removedLink__744533211__href="http://proquest.umi.com/pqdlink?did=752257391&amp;Fmt=7&amp;clientId">http://proquest.umi.com/pqdlink?did=752257391&amp;Fmt=7&amp;clientId</A>&nbsp;<br>
&gt;&gt; =79356&amp;RQT=309&amp;VName=PQD&nbsp;<br>
&gt;&gt;&nbsp;<br>
snip &nbsp;<br>
_________________________________________________&nbsp;<br>
&nbsp;For list-related administrative tasks:&nbsp;<br>
&nbsp;<A target=_blank __removedLink__744533211__href="http://list.cs.brown.edu/mailman/listinfo/plt-scheme">http://list.cs.brown.edu/mailman/listinfo/plt-scheme</A>&nbsp;<br>
</div>
<!-- end of AOLMsgPart_0_bce97a75-f93b-48b3-9c35-8f3606b583f3 --><div id='MAILCIAMB021-5c3749eb512b3cd' class='aol_ad_footer'><br/><font style="color:black;font:normal 10pt arial,san-serif;"> <hr style="margin-top:10px"/>Why pay full price? <a href="http://shopping.aol.com/?ncid=emlweinstor00000002">Check out this month's deals on the new AOL Shopping</a>.</font> </div>