Nominalization, predication and type containment
type: Item
instance of: scholarly article
title: Nominalization, predication and type containment
zbMATH Open document ID: 0793.03031
DOI: 10.1007/BF01050787
author: Fairouz Kamareddine
author: Ewan Klein
published in: Journal of Logic, Language and Information
publication date: 1994-02-22T00:00:00Z
Mathematics Subject Classification ID: 03B65
Mathematics Subject Classification ID: 03B40
zbMATH DE Number: 501101
zbMATH Keywords: typed lamda calculus
zbMATH Keywords: Russell's paradox
zbMATH Keywords: property theory
zbMATH Keywords: natural language semantics
zbMATH Keywords: polymorphism
Wikidata QID: Q61707526
describes a project that uses: ML
MaRDI profile type: Publication
cites work: A framework for defining logics
cites work: A theory of type polymorphism in programming
cites work: Polymorphic type inference and containment
cites work: Data Types as Lattices
cites work: A theory of properties
description: scientific article; zbMATH DE number 501101