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

Oxford Univ Press, 1994. 228 p.

Research output: Book/ReportBook

Published

Standard

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

Oxford Univ Press, 1994. 228 p.

Research output: Book/ReportBook

Harvard

APA

Vancouver

Author

BibTeX

@book{8c863f97817b46c0ab3c3621f2d12e9e,
title = "Computation and Reasoning: A Type Theory for Computer Science",
author = "Zhaohui Luo",
year = "1994",
language = "English",
isbn = "978-0-19-853835-6 ",
publisher = "Oxford Univ Press",

}

RIS

TY - BOOK

T1 - Computation and Reasoning

T2 - A Type Theory for Computer Science

AU - Luo, Zhaohui

PY - 1994

Y1 - 1994

M3 - Book

SN - 978-0-19-853835-6

BT - Computation and Reasoning

PB - Oxford Univ Press

ER -