Intuitionistic categorial grammar

Publisher Website

1 April 1991

journal article
Published by Springer Nature in Linguistics and Philosophy

Vol. 14 (2) , 203-239
https://doi.org/10.1007/bf00627403

Abstract

No abstract available

Keywords

CATEGORIAL GRAMMAR

This publication has 8 references indexed in Scilit:

Constructive generalized quantifiers
Synthese, 1989
Propositions as games as types
Synthese, 1988
The calculus of constructions
Information and Computation, 1988
Proof Theory and Meaning
Published by Springer Nature ,1986
Anaphora and Definite Descriptions
Published by Springer Nature ,1985
A Program for Syntax
Published by Springer Nature ,1972
The mathematical language AUTOMATH, its usage, and some of its extensions
Published by Springer Nature ,1970
The Mathematics of Sentence Structure
The American Mathematical Monthly, 1958