Lambda calculus and parial functions in first order logic

Kuper, J. (Speaker)

    Activity: Talk or presentation › Oral presentation

    Description

    Plaats van uitgifte: Utrecht
    Period15 Mar 1991
    Event titleIntercity Seminar on Typed Lambda Calculus
    Event typeConference
    LocationUtrecht

    Keywords

    • METIS-123571