Documents liés : [1 document(s)]

Documents (Auteurs)

• [MathOuvrage] Interactive models of computation and program behavior / Curien, Pierre-Louis ; Herbelin, Hugo ; Krivine, Jean-Louis ; Melliès, Paul-André. -Paris : Société mathématique de France, 2009. - xvi, 275 p. ; 24 cm
  ISBN 9782856292730
  https://smf.emath.fr/les-publications?field_publication_collection[]=160&field_type_of_publication[]=123