Octocurious

church1940-simple-types

1 min read

Church, A. (1940). A Formulation of the Simple Theory of Types.

Graph View

Backlinks