Nominalization, predication and type containment

DOI10.1007/BF01050787zbMath0793.03031WikidataQ61707526 ScholiaQ61707526MaRDI QIDQ1314276

Ewan Klein, Fairouz Kamareddine

Publication date: 22 February 1994

Published in: Journal of Logic, Language and Information (Search for Journal in Brave)

zbMATH Keywords

polymorphismnatural language semanticsRussell's paradoxproperty theorytyped lamda calculus

Mathematics Subject Classification ID

Logic of natural languages (03B65) Combinatory logic and lambda calculus (03B40)

Related Items

A unified approach to type theory through a refined \(\lambda\)-calculus ⋮ A type free theory and collective/distributive predication

Uses Software

• ML

Cites Work

• Polymorphic type inference and containment
• A theory of type polymorphism in programming
• A theory of properties
• A framework for defining logics
• Data Types as Lattices