On the Expressiveness of Equational Type Logic

Giuseppe Scollo (Speaker)

    Activity: Talk or presentationOral presentation

    Description

    Plaats van uitgifte: Stirling, Schotland
    Period5 Jul 1990
    Event titleIMA conference on the Unified Computation Laboratory
    Event typeConference
    LocationStirling, Schotland

    Keywords

    • METIS-123138