Type theory is one of the most important tools in the design of higher-level programming languages, such as ML. This book introduces and teaches its techniques
Type theory is one of the most important tools in the design of higher-level programming languages, such as ML. This book introduces and teaches its techniques
Type theory is a fast-evolving field at the crossroads of logic, computer science and mathematics. This gentle step-by-step introduction is ideal for graduate s
This book is an attempt to give a systematic presentation of both logic and type theory from a categorical perspective, using the unifying concept of fibred cat