Capa

Temporal Type Theory

SPRINGER
02 / 2019
9783030007034
978-30-3000-703-4
Inglês
Progress in Computer Science and Applied Logic
Ingles