header
cover

2 - Interactive models of computation and program behavior
Curien, Pierre-Louis   /   Melliès, Paul-André   /   Herbelin, Hugo   /   Krivine, Jean-Louis

Cote : [05 CUR 09]