Temporal Type Theory: A Topos-Theoretic Approach to Systems and Behavior | Kaicus España

Temporal Type Theory: A Topos-Theoretic Approach to Systems and Behavior

Este volumen presenta la teoría de tipos temporales como un marco topológico, mostrando cómo los topos capturan dinámicas secuenciales y permiten analizar comportamientos complejos con precisión formal.

Marca: Patrick Schultz
ISBN: 3030007030
MPN: 33747855
Patrocinado  Este sitio contiene enlaces de afiliados por los cuales podríamos recibir una compensación. Más información
Colección PROGRESS IN COMPUTER SCIENCE AND APPLIED LOGIC
Edición Febrero de 2019
Editorial SPRINGER NATURE
Idiomas Inglés
ISBN 9783030007034
Páginas 215