Formalising meaningfulness in typed lambda calculus

    Activity: Talk or presentationOral presentation

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