1 citations · 1 across the 1 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.