11 citations · 72 across the 39 of their papers we have counts for
Showing 1999 · math.CTShow all
2 papers · 2 filters
math.CT1999
The Maximality of Cartesian Categories
Kosta Dosen, Zoran Petric
It is proved that equalities between arrows assumed for cartesian categories are maximal in the sense that extending them with any new equality in the language of free cartesian ca…
math.CT1999★ 11 cited
The Maximality of the Typed Lambda Calculus and of Cartesian Closed Categories
Kosta Dosen, Zoran Petric
From the analogue of Boehm's Theorem proved for the typed lambda calculus, without product types and with them, it is inferred that every cartesian closed category that satisfies a…