An Implementation of LF with Coercive Subtyping & Universes

Cached

Download Links

by Paul Callaghan , Zhaohui Luo
Venue:Journal of Automated Reasoning
Citations:15 - 9 self