Curien, Pierre-Louis(F-PARIS7-PPS); Herbelin, Hugo(F-PARIS7); Krivine, Jean-Louis(F-PARIS7-EPP); Melliès, Paul-André(F-PARIS7-PPS) <br/><br/>
Interactive models of computation and program behavior. 

 -  Société Mathématique de France  2009 
<br/><br/><label>Dewey Class. No.: </label>03CU