Results

**1 - 3**of**3**
by L Schrder

Venue: | in: Lecture Notes in Computer Science |

Sorted by:

Results **1 -
3** of
**3**

by
J. R. B. Cockett
, 2014

"... ..."

(Show Context)
Citation Context

... the study of cartesian closed (total) Turing categories. Also, we note that, more generally, one could work in a partial cartesian closed Turing category (for more on this notion, see, e.g. [10], or =-=[27]-=-), and look for reflexive objects in there; those correspond to models of the untyped partial lambda calculus (see [24]). Hence in general cartesian closed Turing categories will correspond to partial...

by
J. R. B. Cockett
, 2014

"... ..."

(Show Context)
Citation Context

... the study of cartesian closed (total) Turing categories. Also, we note that, more generally, one could work in a partial cartesian closed Turing category (for more on this notion, see, e.g. [10], or =-=[27]-=-), and look for reflexive objects in there; those correspond to models of the untyped partial lambda calculus (see [24]). Hence in general cartesian closed Turing categories will correspond to partial...

Developed at and hosted by The College of Information Sciences and Technology

© 2007-2015 The Pennsylvania State University