论文信息 - Lambda Calculus and Music Calculi

Lambda Calculus and Music Calculi

This article presents an approach in the design of music programming languages based on Lambda Calculus. It shows, through several examples, that a purely descriptive language, that is to say a language without any programming capability, can be equipped with programming capabilities by the addition of a limited number of simple constructs.

Dominique Fober | Yann Orlarey | Stéphane Letz | Mark Bilton

[1] John Hughes,et al. Why Functional Programming Matters , 1989, Comput. J..

[2] R.B. Dannenberg,et al. Fugue: a functional language for sound synthesis , 1991, Computer.

[3] H. S. Field-Richards. Cadenza: A Music Description Language , 1993 .

[4] A. Church. The calculi of lambda-conversion , 1941 .

[5] Roger B. Dannenberg. The Canon Score Language , 1989 .

[6] Roger B. Dannenberg,et al. Arctic: A functional language for real-time control , 1984, LFP '84.

[7] Peter Desain,et al. Time functions function best as functions of multiple times , 1992 .

[8] Harold T. Hodes,et al. The | lambda-Calculus. , 1988 .

[9] Henk Barendregt,et al. The Lambda Calculus: Its Syntax and Semantics , 1985 .