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 ...