domains for typed lambda calculi
- From: JohnF <john@xxxxxxxxxxxxxxxxxxxxxxxxxxxx>
- Date: Tue, 29 Apr 2008 20:55:27 +0000 (UTC)
Any suggestions for online or journal or textbook
references discussing domains for typed lambda calculi?
Preferably looking for textbook-like treatment,
but online or journal tutorial-type stuff is fine.
Thanks,
--
John Forkosh ( mailto: j@xxxxx where j=john and f=forkosh )
.
- Prev by Date: Another approach to decide on existence of a real root for Univariate Polynomials with Integer Coefficients, and a possible Multivariate extension for 3-SAT
- Next by Date: Re: How can I tell if F is a string or if it is a number?
- Previous by thread: Another approach to decide on existence of a real root for Univariate Polynomials with Integer Coefficients, and a possible Multivariate extension for 3-SAT
- Next by thread: M times M = M?
- Index(es):
