Computation and Reasoning: A Type Theory for Computer Science

Research output: Book/ReportBook

Original languageEnglish
PublisherOxford Univ Press
Number of pages228
ISBN (Print)978-0-19-853835-6
Publication statusPublished - 1994

Cite this