A unified approach to Type Theory through a refined λ-calculus (1994)

Cached

Download Links

by Fairouz Kamareddine , Rob Nederpelt
Citations:14 - 13 self