Q3609632
type: Item
instance of: scholarly article
zbMATH Open document ID: 1174.03303
author: Wenlong Nie
publication date: 2009-03-06T00:00:00Z
Mathematics Subject Classification ID: 03B47
zbMATH DE Number: 5524514
zbMATH Keywords: categorial grammar
zbMATH Keywords: nominalization
zbMATH Keywords: Lambek calculus
MaRDI profile type: Publication
Recommended article: The Semantics of Nominal Logic Programs
Recommended article: Foundations of Software Science and Computational Structures
Recommended article: A Nominal Axiomatization of the Lambda Calculus
Recommended article: A simple sequent calculus for nominal logic
Recommended article: The Lambek calculus extended with intuitionistic propositional logic
Recommended article: Nominal equational logic
Recommended article: Q5714442
Recommended article: Nominal logic, a first order theory of names and binding
Recommended article: Q4292774
Recommended article: Extensional Logic of Hyperintensions
description: scientific article