https://mindsized.org/ fr SPIP - www.spip.net https://mindsized.org/spip.php?article286 https://mindsized.org/spip.php?article286 2015-11-26T08:54:45Z text/html fr Pierre - <a href="https://mindsized.org/spip.php?rubrique57" rel="directory">Fondements de la programmation (M1)</a> https://mindsized.org/spip.php?article284 https://mindsized.org/spip.php?article284 2015-11-19T16:22:25Z text/html fr Pierre <p>Avec les exercices.</p> - <a href="https://mindsized.org/spip.php?rubrique57" rel="directory">Fondements de la programmation (M1)</a> https://mindsized.org/spip.php?article283 https://mindsized.org/spip.php?article283 2015-11-19T16:21:50Z text/html fr Pierre - <a href="https://mindsized.org/spip.php?rubrique57" rel="directory">Fondements de la programmation (M1)</a> https://mindsized.org/spip.php?article282 https://mindsized.org/spip.php?article282 2015-11-19T16:21:13Z text/html fr Pierre - <a href="https://mindsized.org/spip.php?rubrique57" rel="directory">Fondements de la programmation (M1)</a> https://mindsized.org/spip.php?article230 https://mindsized.org/spip.php?article230 2013-11-20T16:39:39Z text/html fr Pierre <p>Livres de référence Benjamin C. Pierce, Types and Programming Languages, MIT Press, 645 pages, Jan 2002. Jean-Yves Girard, Yves Lafont, Paul Taylor, Proofs and Types, Cambridge University Press, 183 pages, 1989. disponible en pdf Robert Harper, Practical Foundations for Programming Languages, Cambridge University Press, 592 pages, 2013. Disponible en ligne : disponible en pdf Niel Jones, Computability and Complexity, MIT Press, 466 pages, Jan 1997. John Mitchell, Concepts in Programming (...)</p> - <a href="https://mindsized.org/spip.php?rubrique57" rel="directory">Fondements de la programmation (M1)</a>