Logics and Type Systems in Theory and Practice

Logics and Type Systems in Theory and Practice
Author :
Publisher : Springer Nature
Total Pages : 284
Release :
ISBN-10 : 9783031617164
ISBN-13 : 3031617169
Rating : 4/5 (169 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:


Logics and Type Systems in Theory and Practice Related Books