Claude Bertrand

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

1994

1 Claude Bertrand: A Natural Semantics of First-Order Type Dependency. Theor. Comput. Sci. 123(1): 31-53 (1994)