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

Document Versions

Reviewing the classical and the de Bruijn notation for λ-calculus and pure type systems –Fairouz Kamareddine — 2001 — Logic and Computation