Lambda Calculus and Music Calculi

Proceedings of the 1994 International Computer Music Conference, ICMC 1994

Volumn , Issue , 1994, Pages 243-250

  Orlarey, Yann ^a   Fober, Dominique ^a   Letz, Stéphane ^a   Bilton, Mark ^a  

^a Grame   (France)

Author keywords

[No Author keywords available]

Indexed keywords

BIOMINERALIZATION; CALCULATIONS;

LAMBDA-CALCULI; SHOW THROUGH; SIMPLE++;

DIFFERENTIATION (CALCULUS);

EID: 0041744686     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (9)

1. M Balaban, "Introducing Formal Processing into Music - The Music Structure Approach", Technical Report FC-94-07, Dept. of Math, and Comp. Science, Ben-Gurion University of the Negev, 1994.
2. H. P. Barendregt, The Lambda Calculus, Its Syntax and Semantics. North-Holland, Amsterdam, 1984.
3. A. Church, The Calculi of Lambda Conversion, Princeton University Press, Princeton, NJ., 1941.
4. R. B. Dannenberg, "Artie: A Functional Language for Real-Time Control", in 1984 ACM Symposium on LISP and Functional Programming, ACM, New-York, 1984.
5. R. B. Dannenberg, "The Canon Score Language", Computer Music Journal, 13 (1), pp. 47-56, 1989.
6. R. B. Dannenberg, C. L. Fraley and P. Velikonja, "Fugue: A Functional Language for Sound Synthesis", Computer, 24 (7), pp. 36-42, 1991.
7. P. Desain and H. Honing, "Time Functions Function Best as Functions of Multiple Times", Computer Music Journal, 16 (2), pp. 17-34, 1991.
8. H. S. Field-Richards, "Cadenza: A Music Description Language", Computer Music Journal, 17 (4), pp. 60-72, 1993.
9. J. Hughes, Why Functional Programming Matters, The computer Journal 32 (2), pp. 98-107, 1989.