The safe lambda calculus (0)

by William Blum, C-H Luke Ong
Venue:Logical Methods in Computer Science