Claude Bertrand A Natural Semantics of First-Order Type Dependency. 31-53 1994 123 Theor. Comput. Sci. 1 db/journals/tcs/tcs123.html#Bertrand94a