67-4965-02 Semantics of the Probabilistic Typed Lambda Calculus 978-3-662-56872-9
[(publisher) Springer Verlag]
仕様
- サブタイトル：Markov Chain Semantics, Termination Behavior, and Denotational Semantics
- 著者：Draheim, Dirk
- 装丁：Paper
- 頁数他：VIII, 218 p. 6 illus.
- 発行日：2018/05/04
- 分類：ソフトウェア
よくあるご質問（FAQ）
掲載カタログ情報
| 掲載カタログ名 | 掲載ページ |
|---|