EIN HOARE KALKÜL FÜR DIE SPRACHE DER GETYPTEN LAMBDA-TERME KORREKTHEIT, VOLLSTÄNDIGKEIT, ANWENDUNGEN

Name of awarding university/degree: Rheinisch-Westfälische Technische Hochschule Aachen

Search by Bookstore

You can check the details of this material, its authority (keywords that refer to materials on the same subject, author's name, etc.), etc.

Material Type: 博士論文
Title: EIN HOARE KALKÜL FÜR DIE SPRACHE DER GETYPTEN LAMBDA-TERME KORREKTHEIT, VOLLSTÄNDIGKEIT, ANWENDUNGEN
Author/Editor: Goerdt, Andreas.
Author Heading: Goerdt, Andreas.
Publication, Distribution, etc.: Aachen : Rheinisch-Westfälische Technische Hochschule Aachen
Publication Date: 1986.
Extent: 269p.
Degree grantor/type: Rheinisch-Westfälische Technische Hochschule Aachen
Date Granted: 1986.
Date Granted (W3CDTF): 1986
Note (Dissertation): 博士論文
Thesis (doctoral) --Rheinisch-Westfälische Technische Hochschule Aachen, 1986.
Place of Publication (Country Code): DE
Text Language Code: ger
Holding library: 国立国会図書館
Call No.: M-DIGA-4705
Data Provider (Database): 国立国会図書館 : 国立国会図書館蔵書
https://ndlsearch.ndl.go.jp
Bibliographic ID (NDL): 000003385153
http://id.ndl.go.jp/bib/000003385153
Bibliographic Record Category (NDL): 216