|
|
|
|
|
|
by bitdiddle
3375 days ago
|
|
|
One of the best papers I've read on cartesian duality was by Vaughan Pratt[1] on Chu spaces. It's a little bit of a slog for those not conversant in foundations, but it does help ground the conversation in terms that are more rigorous. As an aside, Chu spaces also provide a semantics for linear logic and are useful in understanding concurrency. [1]: http://boole.stanford.edu/pub/ratmech.pdf |
|
|