Semantics of the Probabilistic Typed Lambda Calculus - Markov Chain Semantics, Termination Behavio…
von Dirk Draheim
2018 Kartoniert, 228 Seiten, 235mm x 155mm x 13mm, Sprache(n): eng Provides an in-depth discussion of the semantics of the probabilistic typed lambda calculus and its termination behavior Self-contained, offering a recapitulation of the basic mathematical tools needed Includes an extensive lis…
Semantics of the Probabilistic Typed Lambda Calculus - Markov Chain Semantics, Termination Behavio…
von Dirk Draheim
2017 Gebunden, 228 Seiten, 241mm x 160mm x 18mm, Sprache(n): eng Provides an in-depth discussion of the semantics of the probabilistic typed lambda calculus and its termination behaviorSelf-contained, offering a recapitulation of the basic mathematical tools neededIncludes an extensive list of f…
- Autor
- Draheim Dirk
- Titel
- Semantics of the Probabilistic Typed Lambda Calculus
- Zustand
- Neuware
Speichern Sie Ihre Suche als Auftrag für einen späteren Zeitpunkt und lassen Sie sich bei neu eintreffenden Artikeln automatisch per E-Mail benachrichtigen (optional)!