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 - Interactive models of computation and program behavior
Curien, Pierre-Louis   /   Melliès, Paul-André   /   Herbelin, Hugo   /   Krivine, Jean-Louis

Cote : [05 CUR 09]