Now showing items 1-1 of 1

    • Computational Type Theory 

      Constable, Robert L. (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 ...