Usability: formalising (un)definedness in typed lambda calculus

Kuper, J. (Speaker)

    Activity: Talk or presentationOral presentation

    Description

    Plaats van uitgifte: Kazimierz, Poland
    Period26 Sep 1994
    Event titleComputer Science Logic Conference
    Event typeConference
    LocationKazimierz, Poland

    Keywords

    • METIS-122854