HDS-37: Henk Barendregt Some extensional term models for combinatory logics and Lambda-Calculi 1.Abstract, 2.Samenvatting, 3.Addenda, 4.Extended version (Amazon, 2020), 5.Full Text (DJVU), 6.Full Text (PDF), 7.Errata. < Back
