Global semantic typing for inductive and coinductive computing
Inductive and coinductive types are commonly construed as ontological (Church-style) types, denoting canonical data-sets such as natural numbers, lists, and streams. For various purposes, notably the study of programs in the context of global semantics, it is preferable to think of types as semantic...
| 主要作者: | |
|---|---|
| 格式: | 文件 |
| 语言: | English |
| 出版: |
Logical Methods in Computer Science e.V.
2014-12-01
|
| 丛编: | Logical Methods in Computer Science |
| 主题: | |
| 在线阅读: | https://lmcs.episciences.org/1116/pdf |