ECC, an Extended Calculus of Constructions - Research - Royal Holloway, University of London

Home > Computer Science home > Research > Profile > Publications > ECC, an Extended Calculus of Constructions

ECC, an Extended Calculus of Constructions. / Luo, Z.

Logics in Computer Science (LICS 1989). 1989.

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Published

Original language	English
Title of host publication	Logics in Computer Science (LICS 1989)
Publication status	Published - 1 Jun 1989

ID: 1774146

Research

Profile

Royal Holloway, University of London
Egham,
Surrey,
TW20 0EX

T: +44 (0)1784 434455 T: +44 (0)1784 434455