Formalising meaningfulness in typed lambda calculus

  • Jan Kuper (Invited speaker)

    Activity: Talk or presentation › Oral presentation

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