Browsing by Subject "Type Theory"
Now showing items 1-1 of 1
(2008-10-15)Computational type theory provides answers to questions such as: What is a type? What is a natural number? How do we compute with types? How are types related to sets? Can types be elements of types? How are data types ...