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

zu Verbundenen Objekten

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
11.06.2025, 13:53 MESZ

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

Continuous semantics for termination proofs

Predicate calculus and program semantics

Predicate calculus and program semantics

Semantics

Aufsatzsammlung

Semantics

Semantics

Semantics

Semantics

Semantics

Semantics

Semantics

Operational semantics for the Petri box calculus

Operational semantics for the Petri box calculus

Musical semantics

Musical semantics

Salient semantics

Salient semantics

Event semantics

Event semantics

Semantics of a call-by-need lambda calculus with McCarthy's amb for program equivalence

Hochschulschrift

Semantics of a call-by-need lambda calculus with McCarthy's amb for program equivalence

Typed feature structures, definite equivalences, greatest model semantics, and nonmonotonicity

Typed feature structures, definite equivalences, greatest model semantics, and nonmonotonicity

Verbundene Objekte