Octocurious

hofmann1997-dependent-types

1 min read

Hofmann, M. (1997). Syntax and Semantics of Dependent Types.

Graph View

Backlinks