Computation and Reasoning : A Type Theory for Computer Science. / Luo, Zhaohui.

Oxford Univ Press, 1994. 228 p.

Research output: Book/ReportBook

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

ID: 1288589