Katalog der Deutschen Nationalbibliothek
Ergebnis der Suche nach: dcs=511*
|
|
|
| Link zu diesem Datensatz | https://d-nb.info/gnd/4658761-5 |
| Sachbegriff | System F |
| Quelle | Lex. Informatik Kommunikationstechn.; Wikipedia |
| Synonyme |
Lambda-Kalkül zweiter Ordnung Polymorpher Lambda-Kalkül Second-order Lambda Calculus Polymorphic Lambda Calculus Lambda-Kalkül / Ordnung 2 Lambda-Kalkül zweiter Stufe Lambda-Kalkül / Stufe 2 |
| Oberbegriffe | Typisierter Lambda-Kalkül |
| DDC-Notation | 511.35 |
| Systematik | 30 Informatik, Datenverarbeitung ; 28 Mathematik |
| Typ | Allgemeinbegriff (saz) |
| Thema in |
3 Publikationen
|

