22 citations · 43 across the 2 of their papers we have counts for
1 paper · 1 filter
Martin Hyland
Recent developments in the categorical foundations of universal algebra have given fresh impetus to an understanding of the lambda calculus coming from categorical logic: an interp…