3 ms·
Could have written further into set theory and set theoretic interpretation of types. A proposition being a set intension.
by aatd86 1y ago
Could have written further into set theory and set theoretic interpretation of types.
A proposition being a set intension.