A Theory of Inductive De with -Conversion: Semantics, Implementation, and Meta-Language (0)

by M J Gabbay