1,094 followers
Found it: Contextual Cartesian Closed Category. In "Categorical reconstruction of a reduction free normalization proof", Altenkirch, Hofmann and Streicher CTCS '95: https://t.co/cLB6w4rOfH
Found it: Contextual Cartesian Closed Category. In "Categorical reconstruction of a reduction free normalization proof", Altenkirch, Hofmann and Streicher CTCS '95: https://t.co/cLB6w4rOfH