| NCID | BA29139028 |
| タイトル | Constructive domain models of typed lambda-calculi / Andreas Gruchalski |
| 出版者 | Aachen : Verlag Shaker , 1996 |
| 形態 | xi, 156 p. : ill. ; 21 cm |
| 注記 | Bibliography: p. 157-[159]
"Dissertation zur Erlangung des Grades eines Doktors der Naturwissenschaften" -- T.p. |
| シリーズ名 | Berichte aus der Mathematik
|
| 著者情報 | Gruchalski, Andreas <>
|
| 和洋区分 | 洋 |
| 標題言語 | 英語 |
| 本文言語 | 英語 |
| 出版国 | ドイツ = ドイツ連邦共和国 |
| ISBN | 3826514947
|