Re: domains for typed lambda calculi

Dnia 29-04-2008 o 22:55:27 JohnF <john@xxxxxxxxxxxxxxxxxxxxxxxxxxxx> napisał(a):

Any suggestions for online or journal or textbook
references discussing domains for typed lambda calculi?

The standard book is the following:

,,Domains and Lambda-Calculi'' by Amadio and Curien

But if you are not used to serious math, this book could be difficult for you.


mp
.

Relevant Pages

  • Re: Question for corn powered computer
    ... Not much in the way of references. ... applicable to the current science unit. ... English class spelling test will also cover some of the math terms, ... historical context. ...
    (comp.sys.ibm.ps2.hardware)
  • Re: So... Lerentz Contractions are *physical* not observered?
    ... 1+1=2 is falsified by the experimental evidence in my references. ... jem transforms are valid and you still can't do it. ... Still no math, jem? ...
    (sci.physics.relativity)
  • Re: So... Lerentz Contractions are *physical* not observered?
    ... haven't read any of the references, there is nothing I can do for you ... there is nothing I can do for you <SHRUG> ... jem transforms are valid and you still can't do it. ... Still no math, jem? ...
    (sci.physics.relativity)
  • Re: Modular Arithmetic
    ... Most references ... In math, we say that two integers, a and b, are congruent mod n, if n ... Now, in computer programming, there is a mod operator that returns the ... mod is an equivalence relation ... ...
    (sci.math)
  • Re: Current through coils
    ... One coil has him stumbling to do his own math with his own references. ... There is no reason to fill the road with intellectual boulders when he ...
    (rec.radio.amateur.antenna)