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

zu Verbundenen Objekten

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

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

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

Inhaltsverzeichnis
Rechteinformation
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
Letzte Aktualisierung
11.03.2025, 11:43 MEZ

Datenpartner

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

Beteiligte

Entstanden

  • [2017]

Ähnliche Objekte (12)

Continuous semantics for termination proofs

Monografie

Continuous semantics for termination proofs

Semantics

Semantics

Semantics

Semantics

Semantics

Aufsatzsammlung

Semantics

Probabilistic models of natural language semantics

Monografie

Probabilistic models of natural language semantics

Semantics of probabilistic processes : an operational approach

Semantics of probabilistic processes : an operational approach

Event semantics

Event semantics

Musical semantics

Musical semantics

Semantics and loop invariant synthesis for probabilistic programs

Monografie

Semantics and loop invariant synthesis for probabilistic programs

Vorlesung: English Semantics

Sachakte

Vorlesung: English Semantics

Adaptive Semantics Visualization

Monografie

Adaptive Semantics Visualization

Proof-Theoretic Semantics

Monografie

Proof-Theoretic Semantics

Verbundene Objekte