Pre-adjunctions and lambda-algebraic theories

Publishing house / Journals and Serials / Colloquium Mathematicum / All issues

Antoni Wiweger Colloquium Mathematicum 48 (1984), 153-165 DOI: 10.4064/cm-48-2-153-165