Semantic unification in the inference of union types (1992)

Author(s): Missier P

      • Date: 17-19 June 1992
      • Conference Name: 7th Italian Conference on Logic Programming (GULP'92)
      • Publication type: Conference Proceedings (inc. abstract)
      • Bibliographic status: Published
        Staff

        Dr Paolo Missier
        Lecturer