Pre-adjunctions and lambda-algebraic theories
Tom 48 / 1984
Colloquium Mathematicum 48 (1984), 153-165
DOI: 10.4064/cm-48-2-153-165