rob nederpelt
A Modern Perspective on Type Theory
EbookSofort lieferbarThis book provides an overview of type theory. The first part of the book is historical, yet at t...
Type Theory and Formal Proof
EbookSofort lieferbarType theory is a fast-evolving field at the crossroads of logic, computer science and mathematics...
Type Theory and Formal Proof
EbookSofort lieferbarType theory is a fast-evolving field at the crossroads of logic, computer science and mathematics...
Type Theory and Formal Proof
BuchBezug 11-15A gentle introduction for graduate students and researchers in the art of formalizing mathematics...
A Modern Perspective on Type Theory
TaschenbuchBezug 11-15`Towards the end of the nineteenth century, Frege gave us the abstraction principles and the gene...
A Modern Perspective on Type Theory
BuchBezug 11-15`Towards the end of the nineteenth century, Frege gave us the abstraction principles and the gene...
- 1