Nikita Karetnikov#twelf#logical_frameworks#lf#pfenning#chris_martens·blog.karetnikov.org·Mar 12, 2024Nikita Karetnikov
A refinement type by any other name | weaselhat#refinement-types#property-types#pfenning#dunfield·weaselhat.com·Apr 3, 2024A refinement type by any other name | weaselhat
21 orderedOrdered logic , cut reduction#cut#ordered_logic#cut_elimination#pfenning·cs.cmu.edu·Sep 19, 202321 ordered
