ThiscollectionofpapersstemsoriginallyfromaconferenceonProperty Theory, TypeTheoryandSemanticsheldinAmherstonMarch13-16 1986.The conference brought together logicians, philosophers, com- puter... This description may be from another edition of this product.