En poursuivant votre navigation sur ce site, vous acceptez l'utilisation d'un simple cookie d'identification. Aucune autre exploitation n'est faite de ce cookie. OK

Documents Okada, Mitsuhiro 2 résultats

Filtrer
Sélectionner : Tous / Aucun
Q
K | F x r
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

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.
Cote : 00023308
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

Localisation : Colloque 1er étage (TOKY)

Sélection

Cochez un dossier pour ajouter l'enregistrement à vos favoris. Décochez-le pour l'en enlever.

4

gerer mes paniers

Signaler une erreur
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
y

Towards new logic and semantics:
Franco-Japanese collaborative lectures on philosophy of logic Benoist, Jocelyn ; Girard, Jean-Yves ; Ogawa, Yoshinori ; Okada, Mitsuhiro | Keio University 2006

Congrès

- 263 p.
Cote : 00038954
philosophie # sémantique # logique intuitionniste

03AXX ; 00A30 ; 03A10

Localisation : Colloque 1er étage (TOKY)

Sélection

Cochez un dossier pour ajouter l'enregistrement à vos favoris. Décochez-le pour l'en enlever.

4

gerer mes paniers

Signaler une erreur

Listes : nb d'elts/page

Sélectionner : Tous / Aucun

Filtrer

Auteurs

Codes MSC

J Plus

Langue