An intuitionistic theory of types

Cached

Download Links

by Per Martin-Löf
Citations:67 - 0 self