Search Results - "Type theory"

Suggested Topics within your search.
  • Showing 1 - 2 results of 2
Refine Results
  1. 1
    A first course in type theory [

    A first course in type theory [ by Singleton, Velva

    Published 2012
    Subjects: “…Type theory…”
    Learning Press
  2. 2
    Logic programming & type theory

    Logic programming & type theory by Singleton, Velva, Saxton, Liza

    Published 2014
    Subjects:
    World Technologies

Search Tools: