An Implementation of LF with Coercive Subtyping and Universes. / Callaghan, P.; Luo, Z.

In: Journal of Automated Reasoning, Vol. 27, No. 1, 2001, p. 3-27.

Research output: Contribution to journalArticlepeer-review

Published
Original languageEnglish
Pages (from-to)3-27
Number of pages25
JournalJournal of Automated Reasoning
Volume27
Issue number1
Publication statusPublished - 2001

ID: 1298644