An intuitionistic theory of types

Cached

Download Links

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

Document Versions

An intuitionistic theory of types –Per Martin-Löf