- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Dimensions
-
21 cm
- Extent
-
VI, 252 S.
- Language
-
Englisch
- Notes
-
Erlangen, Nürnberg, Univ., Diss., 1998
- Keyword
-
Objektorientierte Programmiersprache
Typisierter Lambda-Kalkül
Untertyp
- Creator
- Table of contents
- Rights
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Last update
-
11.06.2025, 2:16 PM CEST
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Object type
- Hochschulschrift
Associated
Other Objects (12)
Higher-order computability
Higher-Order Tableaux
Higher-order learning
Higher-order misinformation
Higher-Order Order-Sorted Resolution
Explaining Higher-order Defeat
Exploring higher-order risk effects
Higher-order constraint logic programming
Higher-order and symbolic computation
Rewriting Higher-Order Stack Trees
Higher‐Order Topological Band Structures
On higher‐order interface models
Higher-order computability
Higher-Order Tableaux
Higher-order learning
Higher-order misinformation
Higher-Order Order-Sorted Resolution
Explaining Higher-order Defeat
Exploring higher-order risk effects
Higher-order constraint logic programming
Higher-order and symbolic computation
Rewriting Higher-Order Stack Trees
Higher‐Order Topological Band Structures
On higher‐order interface models
Higher-order computability
Higher-Order Tableaux
Higher-order learning
Higher-order misinformation
Higher-Order Order-Sorted Resolution
Explaining Higher-order Defeat
Exploring higher-order risk effects
Higher-order constraint logic programming
Higher-order and symbolic computation
Rewriting Higher-Order Stack Trees
Higher‐Order Topological Band Structures