Katalog der Deutschen Nationalbibliothek

Neuigkeiten Servicezeiten in Frankfurt am Main ab 1. Dezember 2025: Montag bis Freitag 9–18 Uhr und Samstag 10–16 Uhr
Service hours in Frankfurt am Main from 1 December 2025: Monday to Friday 9:00-18:00 and Saturday 10:00-16:00
 
Neuigkeiten Dienstag 9. Dezember 2025: Die Lesesäle der Deutschen Nationalbibliothek in Leipzig öffnen wegen einer Personalversammlung erst ab 13 Uhr. // Tuesday 9 December 2025: The reading rooms of the German National Library in Leipzig will open at 13:00 due to a staff assembly.
 
 

Ergebnis der Suche nach: dcs=511*

Zurück zur Trefferliste


Treffer 542 von 623 < < > <



Sachbegriffe
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
  1. On extensions of AF2 with monotone and clausular (Co)inductive definitions
    Miranda Perea, Favio Ezequiel, 2004
  2. On extensions of AF2 with monotone and clausular (Co)inductive definitions
    Miranda Perea, Favio Ezequiel, 2004
  3. ...





Treffer 542 von 623
< < > <




Aktionen

Aktionen




E-Mail-IconAdministration