TY  - BOOK
AU  - Curien, Pierre-Louis(F-PARIS7-PPS); Herbelin, Hugo(F-PARIS7); Krivine, Jean-Louis(F-PARIS7-EPP); Melliès, Paul-André(F-PARIS7-PPS)
TI  - Interactive models of computation and program behavior
U1  - 03CU 
PB  - Société Mathématique de France
ER  -