𝔖 Bobbio Scriptorium
✦   LIBER   ✦

λ-Terms, logic, determiners and quantifiers

✍ Scribed by Fairouz Kamareddine


Publisher
Springer Netherlands
Year
1992
Tongue
English
Weight
973 KB
Volume
1
Category
Article
ISSN
0925-8531

No coin nor oath required. For personal study only.

✦ Synopsis


In this paper, a theory TH based on combining type freeness with logic is introduced and is then used to build a theory of properties which is applied to determiners and quantifiers.


📜 SIMILAR VOLUMES