A Modern Perspective on Type Theory and Formal Proof Subtitle
Author : Jyothika Dayal
Subject : STEM
ISBN :9789354877094
A Modern Perspective on Type Theory and Formal Proof