4 citations · 8 across the 7 of their papers we have counts for
1 paper · 1 filter
Philip Saville
We give an exposition of the semantics of the simply-typed lambda-calculus, and its linear and ordered variants, using multi-ary structures. We define universal properties for mult…