Draheim, Dirk (Autor)
Semantics of the Probabilistic Typed Lambda Calculus
Markov Chain Semantics, Termination Behavior, and Denotational Semantics
Beschreibung
Produktdetails
| ISBN/GTIN | 978-3-642-55198-7 |
|---|---|
| Seitenzahl | 218 S. |
| Kopierschutz | mit Wasserzeichen |
| Dateigröße | 2353 Kbytes |