m
     
Congrès

H 0 Linear logic in computer science :
Azores summer school on ...#Aug. 30 - Sept. 7

Ehrhard, Thomas (Editeur) ; Girard, Jean-Yves (Editeur) ; Ruet, Paul (Editeur) ; Scott, Philip (Editeur)

Cambridge University Press

2004

381 p.

978-0-521-60857-2

00026869

03B20 ; 03B35 ; 03B40 ; 03B47 ; 03B65 ; 03B70 ; 03F03 ; 03F05 ; 03F07 ; 03F52 ; 03G30 ; 18C50 ; 68Q05 ; 68Q10 ; 68Q55 ; 68T50 ; 81P10

théorie de la démonstration # logique linéaire # calcul lambda # théorie des catégories # programmation logique # système distribué # linguistique # logique et mécanique quantique

Ville d'édition : Cambridge

Pays d'édition : Grande-Bretagne

Langue : Anglais

EAN13 : 9780521608572

ISBN : 0-521-60857-0

Collation : 23 cm#broch. ; Bibliogr.

Collection : London mathematical society lecture note series

N° de collection : 0316

Localisation : Collection 1er étage

Année de la rencontre : 2000

Ville du congrès : Azores ; St. Miguel

Pays du congrès : Portugal

Type Congrès : Congrès

Disponibilité : empruntable


Exemplaires

Nbre d'exemplaires : 1
Cote Code barre Commentaire
1 00026869 [disponible]
Z