Katalog der Deutschen Nationalbibliothek

Neuigkeiten

Leichte Bedienung, intuitive Suche: Die Betaversion unseres neuen Katalogs ist online! → Zur Betaversion des neuen DNB-Katalogs

 
 

Ergebnis der Suche nach: dcs=511*

Zurück zur Trefferliste


Treffer 573 von 623 < < > <



Sachbegriffe
Link zu diesem Datensatz https://d-nb.info/gnd/4270792-4
Sachbegriff Typisierter Lambda-Kalkül
Quelle Du. Informatik
Synonyme Typed Lambda Calculi
Getypter Lambda-Kalkül
Oberbegriffe Lambda-Kalkül
DDC-Notation 511.35
Systematik 28 Mathematik ; 30 Informatik, Datenverarbeitung
Typ Allgemeinbegriff (saz)
Andere Normdaten LCSH: Lambda calculus
RAMEAU: Lambda-calcul
Untergeordnet 1 Datensatz
  1. System F
    Typisierter Lambda-Kalkül
Thema in 35 Publikationen
  1. Semantics of probabilistic typed lambda calculus
    Draheim, Dirk. - Berlin : Springer, [2017]
  2. Semantics of the Probabilistic Typed Lambda Calculus
    Draheim, Dirk. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2017, 1st edition 2017
  3. ...





Treffer 573 von 623
< < > <




Aktionen

Aktionen




E-Mail-IconAdministration