ITU

Electronic Proceedings in Theoretical Computer Science

Publisher

View graph of relations

Research outputs (1)

  1. Published

    Two Guarded Recursive Powerdomains for Applicative Simulation

    Research output: Conference Article in Proceeding or Book/Report chapterArticle in proceedingsResearchpeer-review

ID: 86562566