m

Documents  Dybjer, P. | enregistrements trouvés : 1

O
K L Q M | g | F x r
     

-A +A

P Q

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

Semantics and logics of computation
summer school on...
took place at the Isaac Newton Institute
Sept. Dybjer, P. ; Pitts, A. | Cambridge University Press 1997

Congrès


ISBN 978-0-521-58057-1

Publications of the Newton institute

Localisation : Colloque 1er étage (CAMB)

informatique # langage # logique classique # metalangage # programmation # sémantique

68N17 ; 68Q40 ; 68Q55

... Lire [+]

|

Paniers

Cochez un panier pour y ajouter l'enregistrement. Décochez-le pour l'en enlever.

4

Gerer mes paniers

|

Signaler une erreur

1

Tout sélectionner / Tout déselectionner

Listes : nb d'elts/page

Filtrer

Auteurs

Dybjer, P. [1]

Pitts, A. [1]

Codes MSC

68N17 [1]

68Q40 [1]

68Q55 [1]

Langue

Anglais [1]

Titres de périodiques et e-books électroniques (Depuis le CIRM)

Ressources Electroniques

Books & Print journals

Recherche avancée

0
Z