Proof Representation in Type Theory: State of the Art (1996)

Cached

Download Links

by César A. Muñoz
Citations:5 - 0 self