Ur
From Impredicative Wiki
(Difference between revisions)
Karn Kallio (Talk | contribs) (Added link to Impredicativity page) |
Karn Kallio (Talk | contribs) (Added link to subrecord constraint page) |
Karn Kallio (Talk | contribs) (Added link to Impredicativity page) |
Karn Kallio (Talk | contribs) (Added link to subrecord constraint page) |