m

Documents  Dezani-Ciancaglini, Mariangiola | enregistrements trouvés : 2

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.

Theories of types and proofs
two weeks MSJ regional workshoop on ... took place at Tokyo Institute of Technology
Sept. Dezani-Ciancaglini, Mariangiola ; Okada, Mitsuhiro ; Takahashi, Masako | Mathematical Society of Japan 1998

Congrès

- 295 p.
ISBN 978-4-931469-02-0

Msj memoirs , 0002

Localisation : Colloque 1er étage (TOKY)

arbre de Böhm # calcul lambda # logique # logique d"ordre supérieur # logique linéaire # modèle lambda # preuve mathématique des systèmes constructifs # système d"attribution de type # théorie des types

03B15 ; 03B40 ; 03F05 ; 03F50 ; 68Q05

... 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

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

Lambda calculus with types Barendregt, Henk ; Dekkers, Wil ; Statman, Richard ; Alessi, Fabio ; Bezem, Marc ; Cardone, Felice ; Coppo, Mario ; Dezani-Ciancaglini, Mariangiola ; Dowek, Gilles ; Ghilezan, Silvia ; Honsell, Furio ; Moortgat, Michael ; Severi, Paula ; Urzyczyn, Pawel | Cambridge University Press;Association for Symbolic Logic 2013

Ouvrage

- xxii; 833 p.
ISBN 978-0-521-76614-2

Perspectives in logic

Localisation : Ouvrage RdC (BARE)

lambda calcul # lambda-calcul simplement typé # type récursif # type intersection

03-00 ; 03B40 ; 03B70

... 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

Z