Logics and Type Systems in Theory and Practice
Author | : Venanzio Capretta |
Publisher | : Springer Nature |
Total Pages | : 284 |
Release | : |
ISBN-13 | : 9783031617164 |
ISBN-10 | : 3031617169 |
Rating | : 4/5 (69 Downloads) |
Book Synopsis Logics and Type Systems in Theory and Practice by : Venanzio Capretta
Download or read book Logics and Type Systems in Theory and Practice written by Venanzio Capretta and published by Springer Nature. This book was released on with total page 284 pages. Available in PDF, EPUB and Kindle. Book excerpt: