Results and research topics in equational type logic

Giuseppe Scollo (Speaker)

    Activity: Talk or presentationOral presentation

    Description

    Plaats van uitgifte: Orsay, Frankrijk
    Period16 Feb 1990
    Held atUniversite Paris-Sud, France

    Keywords

    • METIS-123139