Pure type systems with explicit substitution (0)

by Roel Bloo
Venue:Mathematical Structures in Computer Science