| |
Communications of the ACM, Vol. 3, No. 4. (1960), pp. 184-195.
|
| |
|
| |
Bulletin of Symbolic Logic, Vol. 3, No. 3. (1997), pp. 181-215.
|
| |
|
| |
In Handbook of Logic in Computer Science, Volumes 1 (Background: Mathematical Structures) and 2 (Background: Computational Structures), Abramsky \& Gabbay \& Maibaum (Eds.), Clarendon, Vol. 2 (1992)
|
| |
In Aspen\aes Workshop on Implementation of Functional Languages, G\"oteborg (1988)
|
| |
|
| |
In Symposium on Principles of Programming Languages (1996), pp. 271-283.
|
| |
The Journal of Symbolic Logic, Vol. 5, No. 2. (1940), pp. 56-68.
|
| |
The Journal of Symbolic Logic, Vol. 1, No. 1. (1936), pp. 40-41.
|
| |
ACM SIGPLAN Notices, Vol. 33, No. 9. (1998), pp. 26-76.
|
| |
Konikl. Nederlands Akademie van Wetenschappen (1972)
|
| |
(March 2004)
posted to lcbbbib by d23
on 2008-03-17 14:30:49
as 
|
| |
In Proceedings of the International Conference on Functional Programming (September 1999)
posted to lcbbbib by d23
on 2008-03-17 14:30:49
as
|
| |
|
| |
(May 2001)
posted to lcbbbib by d23
on 2008-03-17 14:30:49
as
|
| |
posted to lcbbbib by d23
on 2008-03-17 14:30:49
as
|
| |
In GECCO 2003 (2003), pp. 1814-1815.
posted to lcbbbib by d23
on 2008-03-17 14:30:49
as
|
| |
posted to lcbbbib by d23
on 2008-03-17 14:30:49
as
|
| |
In GECCO'05 (2005)
posted to lcbbbib by d23
on 2008-03-17 14:30:49
as
|
| |
(July 2005)
posted to lcbbbib by d23
on 2008-03-17 14:30:49
as
|
| |
No. 7866. (mar 1994)
posted to lcbbbib by d23
on 2008-03-17 14:30:49
as
|
| |
(2006)
posted to lcbbbib by d23
on 2008-03-17 14:30:49
as
|
| |
(1996)
posted to lcbbbib by d23
on 2008-03-17 14:30:49
as
|
| |
posted to lcbbbib by d23
on 2008-03-17 14:30:49
as
|
| |
(2007)
posted to lcbbbib by d23
on 2008-03-17 14:30:49
as
|
| |
(2007)
posted to lcbbbib by d23
on 2008-03-17 14:30:49
as
|
| |
(2006)
posted to lcbbbib by d23
on 2008-03-17 14:30:49
as
|
| |
posted to lcbbbib by d23
on 2008-03-17 14:30:49
as
|
| |
(2004)
posted to lcbbbib by d23
on 2008-03-17 14:30:49
as
|
| |
Basic Research in Computer Science (2001)
posted to lcbbbib by d23
on 2008-03-17 14:30:49
as
|
| |
posted to lcbbbib by d23
on 2008-03-17 14:30:49
as
|
| |
|
| |
(1757)
posted to lcbbbib by d23
on 2008-03-17 14:30:48
as
|
| |
(2007)
posted to lcbbbib by d23
on 2008-03-17 14:30:48
as
|
| |
(2006)
posted to lcbbbib by d23
on 2008-03-17 14:30:48
as
|
| |
posted to lcbbbib by d23
on 2008-03-17 14:30:48
as
|
| |
posted to lcbbbib by d23
on 2008-03-17 14:30:48
as
|
| |
(2007)
posted to lcbbbib by d23
on 2008-03-17 14:30:48
as
|
| |
(March 2005)
posted to lcbbbib by d23
on 2008-03-17 14:30:48
as
|
| |
posted to lcbbbib by d23
on 2008-03-17 14:30:48
as
|
| |
posted to lcbbbib by d23
on 2008-03-17 14:30:48
as
|
| |
(2007)
posted to lcbbbib by d23
on 2008-03-17 14:30:48
as
|
| |
Math Annalen, Vol. 92 (1924), pp. 305-316.
posted to lcbbbib by d23
on 2008-03-17 14:30:48
as
|
| |
(1998)
posted to lcbbbib by d23
on 2008-03-17 14:30:48
as
|
| |
(April 1960)
posted to lcbbbib by d23
on 2008-03-17 14:30:48
as
|
| |
(1981)
posted to lcbbbib by d23
on 2008-03-17 14:30:48
as
|
| |
The Bell System Technical Journal, Vol. 41(3) (May 1962), pp. 877-884.
|
| |
Journal of Functional Programming, Vol. 1(1) (January 1993)
posted to lcbbbib by d23
on 2008-03-17 14:30:48
as
|
| |
(May 1936)
posted to lcbbbib by d23
on 2008-03-17 14:30:48
as
|
Search
