| Article ID | Journal | Published Year | Pages | File Type |
|---|---|---|---|---|
| 1716137 | Acta Astronautica | 2011 | 4 Pages |
Abstract
This paper informs how elements of constructive type theory can be used effectively for clarifying textual messages meant for communication with ETI. Within the setting of a suitable environment consisting of declared terms, it is shown how logical contents of texts can be modelled and codified.
Keywords
Related Topics
Physical Sciences and Engineering
Engineering
Aerospace Engineering
Authors
Alexander Ollongren, Douglas A. Vakoch,