Searching for "The Maximality of Cartesian Categories." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

1 documents found, showing 1 through 1.

Z.: The Maximality of the Typed Lambda Calculus and of Cartesian Closed Categories
by Zoran Petrić — 2000 — Publ. Inst. Math. (N.S
… of [16] (Theorem 1) that cartesian closed categories are maximal in the same sense. This means that all…
Cited by 3 (0 self) – Add To MetaCart

Showing 1 through 1.

Try your query at: Scholar | Yahoo! | Ask | MS Live | CSB