Temporal Type Theory
Language: EN Series: Progress in Computer Science and Applied LogicPublication details: 2019 Springer International PublishingEdition: 1st ed. 2019Description: 29ISBN:- 978-3-030-00704-1
- 2297-0584
No physical items for this record
There are no comments on this title.
Log in to your account to post a comment.