Reviewing the classical and the de Bruijn notation for λ-calculus and pure type systems (2001)

Cached

Download Links

by Fairouz Kamareddine
Venue:Logic and Computation
Citations:3 - 0 self