Edinburgh Research Explorer

The Use of Typed Lambda Calculus for Requirements Capture in the Domain of Ecological Modelling

Research output: Working paper

Standard

The Use of Typed Lambda Calculus for Requirements Capture in the Domain of Ecological Modelling. / Bundy, Alan; Uschold, Mike .

2004. (DAI Research Paper; No. 446).

Research output: Working paper

Harvard

Bundy, A & Uschold, M 2004 'The Use of Typed Lambda Calculus for Requirements Capture in the Domain of Ecological Modelling' DAI Research Paper, no. 446.

APA

Bundy, A., & Uschold, M. (2004). The Use of Typed Lambda Calculus for Requirements Capture in the Domain of Ecological Modelling. (DAI Research Paper; No. 446).

Vancouver

Bundy A, Uschold M. The Use of Typed Lambda Calculus for Requirements Capture in the Domain of Ecological Modelling. 2004, (DAI Research Paper; 446).

Author

Bundy, Alan ; Uschold, Mike . / The Use of Typed Lambda Calculus for Requirements Capture in the Domain of Ecological Modelling. 2004. (DAI Research Paper; 446).