Categories for Types (1994)

by R -calculus’