1 - Combinators and functional programming languages : proceedings : Thirteenth Spring school of the LITP, Val d'Ajol, France, May 6-10, 1985
Cousineau, Guy (Ed.)   /   Robinet, Bernard (1941-2009) (Ed.)   /   Curien, Pierre-Louis (Ed.)

Cote : [05 COU 86]

2 - Denotational semantics : the Scott-Strachey approach to programming language theory
Stoy, Joseph E.

Cote : [77.5 STO 77]

3 - Functional programming languages and computer architecture, Nancy, France, September 16-19, 1985
Jouannaud, Jean-Pierre (Ed.)

Cote : [77 JOU 85]

4 - Lambda-calculus and computer science theory : proceedings of the symposium held in Rome March 25-27, 1975
Böhm, Corrado (1923-....) (Ed.)

Cote : [05 BOH 75]

5 - LISP - Second edition
Winston, Patrick Henry   /   Horn, Berthold Klaus Paul

Cote : [77 WIN 84]

6 - Logic programming and its applications
Van Caneghem, Michel (Ed.)   /   Warren, David H. D. (Ed.)

Cote : [77 VAN-CAN 86]

7 - Semantics of data types : International symposium Sophia-Antipolis, France, June 27 - 29, 1984, Proceedings
Kahn, Gilles (1946-2006) (Ed.)   /   Macqueen, David B. (1946-....) (Ed.)   /   Plotkin, Gordon (1946-....) (Ed.)

Cote : [77 KAH 84]