activity
19992017
most citedThe Maximality of the Typed Lambda Calculus and of Cartesian Closed Categories

11 citations · 72 across the 39 of their papers we have counts for

collaborators
Showing 2003 · math.LOShow all

1 paper · 2 filters

math.LO2003

A Note on the Set-Theoretic Representation of Arbitrary Lattices

K. Dosen

Every lattice is isomorphic to a lattice whose elements are sets of sets, and whose operations are intersection and an operation extending the union of two sets of sets A and B by…