Cargando…
Temporal type theory: a topos-theoretic approach to systems and behavior
This innovative monograph explores a new mathematical formalism in higher-order temporal logic for proving properties about the behavior of systems. Developed by the authors, the goal of this novel approach is to explain what occurs when multiple, distinct system components interact by using a categ...
| Autores principales: | , |
|---|---|
| Lenguaje: | eng |
| Publicado: |
Springer
2019
|
| Materias: | |
| Acceso en línea: | https://dx.doi.org/10.1007/978-3-030-00704-1 http://cds.cern.ch/record/2657822 |