Usability: Formalising (Un)definedness in Typed Lambda Calculus.

Jan Kuper

Browse the full CSL paper archive.