Posted on June 24, 2020 If anyone is interested in what currying and co-currying look like in sequent calculus: System L with subtractions.