An Extended Calculus of Constructions. / Luo, Zhaohui.

Univ of Edinburgh, 1990.

Research output: ThesisDoctoral Thesis

Unpublished
Original languageEnglish
QualificationPhD
Place of PublicationUniv of Edinburgh
Publication statusUnpublished - 1990

ID: 1288615