An Implementation of LF with Coercive Subtyping and Universes.

P. Callaghan, Z. Luo

Research output: Contribution to journalArticlepeer-review

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

Cite this