A type free theory and collective/distributive predication
From MaRDI portal
(Redirected from Publication:1903083)
Cites work
- \(\lambda\)-terms, logic, determiners and quantifiers
- A system at the cross-roads of functional and logic programming
- scientific article; zbMATH DE number 3722625 (Why is no real title available?)
- Nominalization, predication and type containment
- Set Theory and Nominalization, Part I
- Set Theory and Nominalization, Part II
Cited in
(2)
This page was built for publication: A type free theory and collective/distributive predication
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1903083)