Formulation of Martin-Löf's theory of types with explicit substitutions (1993)

Cached

Download Links

by Alvaro Tasistro
Citations:17 - 0 self