4 citations · 23 across the 11 of their papers we have counts for
1 paper · 1 filter
P. H. Rodenburg, I. Bethke
Adapting a claim of M. Kracht, we establish a characterization of the typable partial applicative algebras.