Yannick Delbecque

Site personnel

Académique
Adresses
Enseignement
Horaire
Plan du site

sémantique

Proofs and Types

Livre basé sur les notes de Jean-Yves Girard traduites et augmentées par Paul Taylor and Yves Lafont.

filed under:

informatique
logique
preuve
recherche
science
sémantique
sémantique des languages de programmation

Generate PDF file

Commentaires récents

Direct Instruction/Réforme
il y a 1 année 14 semaines
Merci!
il y a 1 année 14 semaines
Direct Instruction
il y a 1 année 15 semaines
Projet Follow Through
il y a 1 année 15 semaines
ah ça
il y a 1 année 25 semaines
Ewwww!
il y a 1 année 26 semaines
BRAVO DOKTOR Y!!!
il y a 1 année 31 semaines
Félicitation wow!
il y a 1 année 31 semaines
Très bien
il y a 1 année 41 semaines
PAC MAN
il y a 1 année 44 semaines

Syndication

Recherche

Search this site :

Nuage thématique

Yannick Delbecque science recherche politique musique mathématiques logiciels logiciel Internet informatique libre informatique information libre humour doctorat Canada anarchisme économie

Connexion utilisateur

Se connecter avec OpenID :

Qu'est-ce qu'OpenID?

Nom d'utilisateur : *

Mot de passe : *

Se connecter avec OpenID
Annuler la connection OpenID

Créer un nouveau compte
Demander un nouveau mot de passe

Navigation

Contributions récentes
Web Links

Recent Web Links

Logical Methods in Computer Science
Quote and wisdom: programming
Bussprooofs
Impolitesses
Sansalinux
SAGE, logiciel libre pour les mathématiques
Open Up and Say Eureka
cmus - ncurses based music player
The Sarong Theorem Archive
Maxima, a computer algebra system

Random Web Links

Logical Methods in Computer Science
cmus - ncurses based music player
wyrd
Drupal
The Mutt E-Mail client
The Sarong Theorem Archive
Gobby
Bussprooofs
wmii: window manager improved
Henri Henri

Sauf mention contraire, tout le contenu de ce site est disponible selon les conditions
de la version 1.3 ou ultérieure de la licence Art Libre ou, au choix,
de la version 1.2 ou ultérieure de la GNU Free Documentation Licence .