J. Martin E. Hyland

1 reference under this name, matched as it is written. Somebody else may write under it too, and the same person may appear here spelled another way.

The theory of constructions: categorical semantics and topos-theoretic models
J. Martin E. Hyland and others (1989) · Categories in Computer Science and Logic · American Mathematical Society