Re: Topology of proof

tom wrote:

** i have failed to obtain locally
_any of the fine reads
you kindly cared to suggest **

that is a shame
particularly "domains and lambda-calculi"
i think
would have fit in
with your impressions of mathematics
(as you have expressed them)

many academic libraries
have an interlibrary loan facility
where they will get another library to send them
books they do not have

maybe something like that may help you

i think the language of the field
is too divergent from other fields
to have google scholar and modern articles
be of much use without a good text
but it is another option

i wish you luck in your pursuits
many of your comments show
your approach is one that is studied
but unfortunately may not be familiar
with all of your teachers

that is always an awkward situation to be in
because they may discourage you from learning
this beautiful foundational work

-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-
galathaea: prankster, fablist, magician, liar

.

Relevant Pages

  • Re: A young Tom Byron sucked a transsexuals dick
    ... Mind you, I bet a few of us have been young, inexperienced and broke ... God bless ya Tom! ... it's pretty hard to shame ... This punk refuses to make a big ...
    (rec.sport.pro-wrestling)
  • Re: Installing an SVN repository -- permissions, and general tactics?
    ... On 23/11/05, Tom wrote: ... The book itself barely mentions permissions, ... > shame not to make use of it). ... Just access it via httpand have www-data own the repo. ...
    (Debian-User)
  • Re: CmdrMark
    ... Tom ... That says volumes about some of our most devoted posters. ... it speaks volumes about billb more than anything else. ... > shame he felt the need to come back from his "hiatus" from avlv. ...
    (alt.vacation.las-vegas)
  • Re: TV picture from DVD fades in and out??
    ... >really no shame in admitting that. ... The good thing is...it'll really hit them harder! ... Tom ...
    (sci.electronics.repair)