Bibliothèque PPS


Logique et théorie de la démonstration



Sémantique




Compilation




Vérification




Concurrence




Langages de programmation




Ada


Langages C et C++


Langages objets


Scheme and Lisp


ML


Java


Sytèmes


Outils


Latex Emacs Html Xml Ipv6


Calculabilité et autres


Mathématiques générales


Handbooks



Conférences


Category Theory and Computer Science




ICALP




Computer Science and Logic




Typed Lambda Calculus and Applications




TYPES




Ouvrages sortis de la bibliothèque ou non retrouvés







Livres commandés et non disponibles


Logique


Catégories et sémantique



Programmes




Handbooks




Conférences


CTCS

ICALP