Trends Cogn Sci, Vol. 4, No. 3. (March 2000), pp. 91-99.
System Dynamics Review, Vol. 18, No. 4. (2002), pp. 501-531.
(4 Aug 2008)
(30 April 1982)
(1992), pp. 1-14.
Science of Computer Programming, Vol. 37, No. 1--3. (2000), pp. 67-111.
(28 February 2000)
Computer Journal, Vol. 32, No. 2. (1989), pp. 98-107.
(29 April 1998)
Lecture Notes in Computer Science, Vol. 1782 (2000)
(2002)
(1997)
(25 July 1996)
Vol. 925 (1995)
Journal of Functional Programming, Vol. 9, No. 4. (July 1999), pp. 355-372.
Computer Languages, Vol. 14, No. 3. (1989), pp. 181-191.
J. Assoc. Comput. Mach., Vol. 32, No. 3. (1985), pp. 652-686.
(2001), pp. 285-295.
2nd ACM SIGPLAN Int. Conf. on Functional Programming (1997), pp. 52-65.
(1997), pp. 123-140.
ACM Trans. Program. Lang. Syst., Vol. 18, No. 2. (March 1996), pp. 175-234.
Journal of Universal Computer Science, Vol. 10, No. 7. (July 2004), pp. 751-768.
(January 2007), pp. 50-64.
(1988), pp. 344-358.
Vol. 523 (1991), pp. 124-144.
(1997), pp. 215-224.
(2005)
(2000), pp. 91-115.
(1992)
The American Economic Review, Vol. 84, No. 2. (May 1994), pp. 327-332.
Vol. 432 (1990), pp. 134-151.
(1987)
(2000)
Comput. J., Vol. 32, No. 2. (April 1989), pp. 98-107.
(1998), pp. 273-279.
No. 71. (1993)
The Journal of Symbolic Logic, Vol. 5, No. 2. (1940), pp. 56-68.
(1978)
Communications of the ACM, Vol. 3, No. 4. (1960), pp. 184-195.
(1974), pp. 408-423.
Theoretical Computer Science, Vol. 1, No. 2. (December 1975), pp. 125-159.
Journal of Computer and System Sciences, Vol. 17, No. 3. (December 1978), pp. 348-375.
Commun. ACM, Vol. 9, No. 3. (March 1966), pp. 157-166.
Commun. ACM, Vol. 12, No. 10. (October 1969), pp. 576-580.
(1993), pp. 203-246.
Higher Order Symbol. Comput., Vol. 12, No. 3. (October 1999), pp. 221-236.
Vol. 37, No. 9. (September 2002), pp. 72-83.
(FebruaryJanuary--FebruaryApril 1996), pp. 295-308.