HDS-30: Roel de Vrijer Surjective pairing and strong normalization: two themes in lambda calculus 1.Samenvatting, 2.Full Text (DJVU), 3.Full Text (PDF). < Back
