An Extended Calculus of Constructions. / Luo, Zhaohui.

Univ of Edinburgh, 1990.

Research output: ThesisDoctoral Thesis

Unpublished

Standard

An Extended Calculus of Constructions. / Luo, Zhaohui.

Univ of Edinburgh, 1990.

Research output: ThesisDoctoral Thesis

Harvard

Luo, Z 1990, 'An Extended Calculus of Constructions', PhD, Univ of Edinburgh.

APA

Vancouver

Luo Z. An Extended Calculus of Constructions. Univ of Edinburgh, 1990.

Author

BibTeX

@phdthesis{48d5b0d35e90482e9ec70ca80c18b02c,
title = "An Extended Calculus of Constructions",
author = "Zhaohui Luo",
year = "1990",
language = "English",

}

RIS

TY - THES

T1 - An Extended Calculus of Constructions

AU - Luo, Zhaohui

PY - 1990

Y1 - 1990

M3 - Doctoral Thesis

CY - Univ of Edinburgh

ER -