4 citations · 8 across the 7 of their papers we have counts for
1 paper · 1 filter
Philip Saville
In this thesis I lift the Curry--Howard--Lambek correspondence between the simply-typed lambda calculus and cartesian closed categories to the bicategorical setting, then use the r…