Formalising meaningfulness in typed lambda calculus

Kuper, J. (Invited speaker)

    Activity: Talk or presentationOral presentation

    Period7 Mar 1995
    Held atEindhoven University of Technology, Netherlands
    Degree of RecognitionNational