Semantics of probabilistic typed lambda calculus : markov chain semantics, termination behavior, and denotational semantics

Standort
Deutsche Nationalbibliothek Frankfurt am Main
ISBN
9783642551970
3642551971
Maße
24 cm
Umfang
VIII, 218 Seiten
Sprache
Englisch
Anmerkungen
Illustrationen

Schlagwort
Typisierter Lambda-Kalkül
Programmierung
Wahrscheinlichkeitstheorie
Markov-Kette
Operationale Semantik
Programmlaufzeit
Terminierung
Funktionale Semantik

Ereignis
Veröffentlichung
(wo)
Berlin
(wer)
Springer
(wann)
[2017]
Urheber

Inhaltsverzeichnis
Rechteinformation
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
Letzte Aktualisierung
2025-06-11T13:53:03+0200

Datenpartner

Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.

Beteiligte

Entstanden

  • [2017]

Ähnliche Objekte (12)