Q3469080
type: Item
instance of: scholarly article
zbMATH Open document ID: 0694.03008
author: Kosta Došen
publication date: 1988-01-01T00:00:00Z
Mathematics Subject Classification ID: 03B15
Mathematics Subject Classification ID: 03B40
Mathematics Subject Classification ID: 03D05
zbMATH DE Number: 4135908
zbMATH Keywords: combinators
zbMATH Keywords: second-order logic
zbMATH Keywords: predicate functors
zbMATH Keywords: categorial grammar
zbMATH Keywords: Lambek calculus
zbMATH Keywords: syntactic categories
MaRDI profile type: MaRDI publication profile
Recommended article: Pure second-order logic
Recommended article: Q3765741
Recommended article: Two \(\lambda\)-extensions of the theory of homogeneous simple types as a second-order logic
Recommended article: Combinators and categorial grammar
Recommended article: Elementary categorial logic, predicates of variable degree, and theory of quantity
description: scientific article; zbMATH DE number 4135908