A type-theoretic framework for formal reasoning with different logical foundations (2006)

Cached

Download Links

by Zhaohui Luo
Venue:Proc of the 11th Annual Asian Computing Science Conference
Citations:3 - 3 self