Foundations of systems theory : finitary and infinitary conditions /

Geahča maid

• Finitary refinement checks for infinitary specifications
  Dahkki: Roscoe, A
  Almmustuhtton: (2004)
• Finitary Simulation of Infinitary $\beta$-Reduction via Taylor Expansion, and Applications
  Dahkki: Rémy Cerda, et al.
  Almmustuhtton: (2023-12-01)
• Coinductive Foundations of Infinitary Rewriting and Infinitary Equational Logic
  Dahkki: Jörg Endrullis, et al.
  Almmustuhtton: (2018-01-01)
• Algebraic cocompleteness and finitary functors
  Dahkki: Jiří Adámek
  Almmustuhtton: (2021-05-01)
• An enriched view on the extended finitary monad--Lawvere theory correspondence
  Dahkki: Richard Garner, et al.
  Almmustuhtton: (2018-02-01)