Reviewing the classical and the de Bruijn notation for -calculus and pure type systems. Logic and Computation (0)

by F Kamareddine
Venue:Logic and Computation