A mechanized theory of the -calculus in HOL (1994)

by T F Melham
Venue:Nordic Journal of Computing