Lambda-calcul : types et modèles

Lambda-calcul : types et modèles

フォーマット:
図書
責任表示:
Jean-Louis Krivine
本文言語:
フランス語
説明:
viii, 176 p; 25 cm
出版情報:
Paris, France. 1990. Masson
シリーズ:
Études et recherches en informatique
本文を見る
所蔵情報
Loading availability information

類似資料:

7
Interactive models of computation and program behavior by Curien, Pierre-Louis; Herbelin, Hugo; Krivine, Jean-Louis; Melliès, Paul-André
8
Elements of mathematical logic : (Model theory) by Kreisel, Georg; Krivine, Jean-Louis
9
Elements of mathematical logic : (model theory) by Kreisel, Georg; Krivine, Jean-Louis
10
Séminaire de géométrie des espaces de Banach : Paris VII - (1983) by Beauzamy, Bernard, 1949-; Krivine, Jean-Louis; Maurey, Bernard
11
Séminaire de géométrie des espaces de Banach : Paris VII - (1982) by Beauzamy, Bernard, 1949-; Krivine, Jean-Louis; Maurey, Bernard
6
Éléments de logique mathématique : théorie des modèles by Kreisel, Georg; Krivine, Jean-Louis
6.
Éléments de logique mathématique : théorie des modèles by Kreisel, Georg; Krivine, Jean-Louis
7.
Interactive models of computation and program behavior by Curien, Pierre-Louis; Herbelin, Hugo; Krivine, Jean-Louis; Melliès, Paul-André
8.
Elements of mathematical logic : (Model theory) by Kreisel, Georg; Krivine, Jean-Louis
9.
Elements of mathematical logic : (model theory) by Kreisel, Georg; Krivine, Jean-Louis
10.
Séminaire de géométrie des espaces de Banach : Paris VII - (1983) by Beauzamy, Bernard, 1949-; Krivine, Jean-Louis; Maurey, Bernard
11.
Séminaire de géométrie des espaces de Banach : Paris VII - (1982) by Beauzamy, Bernard, 1949-; Krivine, Jean-Louis; Maurey, Bernard