Boris Düdder

Boris Düdder

Associate Professor


  1. 2018
  2. Mixin Composition Synthesis based on Intersection Types

    Bessai, J., Chen, T., Dudenhefner, A., Duedder, Boris, de'Liguoro, U. & Rehof, J., 2018, In: Logical Methods in Computer Science. 14, 1, 18.

    Research output: Contribution to journalJournal articlepeer-review

ID: 172785813