Which data types have omega-complete initial algebra specifications?

Open Access
Authors
Publication date 1994
Journal Theoretical Computer Science
Volume | Issue number 124
Pages (from-to) 149-168
Organisations
  • Faculty of Science (FNWI) - Informatics Institute (IVI)
Document type Article
Published at https://doi.org/10.1016/0304-3975(94)90057-4
Downloads
Permalink to this page
Back