Jos, You may wish to have a look at Talcott's "Programming and Proving with Function and Control Abstractions", a set of lecture notes on "Rum" from 1986: <A href="http://blackforest.stanford.edu/clt/publications.html?name=talcott-89wix">http://blackforest.stanford.edu/clt/publications.html?name=talcott-89wix</A> 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: <A href="http://disexpress.umi.com/">http://disexpress.umi.com/</A> But I do see that prices are substantially higher for shipment to Europe. Jim -----Original Message----- From: Jos Koot <jos.koot@telefonica.net> To: Matthias Felleisen <matthias@ccs.neu.edu> Cc: plt-scheme@list.cs.brown.edu; Robby Findler <robby@eecs.northwestern.edu>; Jim Bender <benderjg2@aol.com> Sent: Sun, 19 Apr 2009 10:05 am Subject: Re: [plt-scheme] coroutine versus stream <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,  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.  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.    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)    Any people on this list living near Barcelona ??? (for me near = +- within 300 km)  I live in Mataró (in the northern part of the mediterranean coast of Spain)  Jos    ----- Original Message ----- From: "Matthias Felleisen" <<A __removedLink__744533211__href="mailto:matthias@ccs.neu.edu">matthias@ccs.neu.edu</A>>  To: "Jos Koot" <<A __removedLink__744533211__href="mailto:jos.koot@telefonica.net">jos.koot@telefonica.net</A>>  Cc: "Robby Findler" <<A __removedLink__744533211__href="mailto:robby@eecs.northwestern.edu">robby@eecs.northwestern.edu</A>>; "Jim Bender" <<A __removedLink__744533211__href="mailto:benderjg2@aol.com">benderjg2@aol.com</A>>; <<A __removedLink__744533211__href="mailto:plt-scheme@list.cs.brown.edu">plt-scheme@list.cs.brown.edu</A>>  Sent: Sunday, April 19, 2009 4:20 PM  Subject: Re: [plt-scheme] coroutine versus stream    >  >  > 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 > 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, > Carolyn's treatment is formal, i.e., she develops a framework for proving equivalences. (She likes baroque notation, btw.) If > you're interested in the ideas only, she has pointers to even earlier suggestions on how coroutines and streams relate -- > Matthias  >  >  >  >  >  > On Apr 19, 2009, at 5:25 AM, Jos Koot wrote:  >  >> Thanks,  >> I have no account on that site, but I posted a question whether or not they do serve private persons too.  >> As I am retired I have no access via an official institute.  >> Thanks, again, Jos  >>  >> ----- Original Message ----- From: "Robby Findler" <<A __removedLink__744533211__href="mailto:robby@eecs.northwestern.edu">robby@eecs.northwestern.edu</A>>  >> To: "Jim Bender" <<A __removedLink__744533211__href="mailto:benderjg2@aol.com">benderjg2@aol.com</A>>  >> Cc: "Jos Koot" <<A __removedLink__744533211__href="mailto:jos.koot@telefonica.net">jos.koot@telefonica.net</A>>; <plt- <A __removedLink__744533211__href="mailto:scheme@list.cs.brown.edu">scheme@list.cs.brown.edu</A>>; "Matthias Felleisen" <<A __removedLink__744533211__href="mailto:matthias@ccs.neu.edu">matthias@ccs.neu.edu</A>>  >> Sent: Sunday, April 19, 2009 2:26 AM  &g t;> Subject: Re: [plt-scheme] coroutine versus stream  >>  >>  >> It looks like you can buy a copy here:  >>  >> <A target=_blank __removedLink__744533211__href="http://proquest.umi.com/pqdlink?did=752257391&Fmt=7&clientId">http://proquest.umi.com/pqdlink?did=752257391&Fmt=7&clientId</A>  >> =79356&RQT=309&VName=PQD  >>  snip   _________________________________________________   For list-related administrative tasks:   <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>  </div> <div id='MAILCIAMB021-5c3749eb512b3cd' class='aol_ad_footer'> <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>. </div>