Search
Feedback
About UniCat 
Help
News
| Listing 1 - 10 of 12 | << page >> |
Sort by
|
Book
ISBN: 0201178125 9780201178128 Year: 1989 Publisher: Wokingham, England: Reading, Mass: Addison-Wesley,
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
ISSN: 07632770 ISBN: 2225820910 9782225820915 Year: 1990 Publisher: Paris: Masson,
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Book
ISBN: 287209363X 9782872093632 Year: 1995 Volume: 8 Publisher: Louvain-la-Neuve: Academia,
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Logica --- Logique --- Curry-Howard isomorphism --- Proof theory --- Lambda calculus --- Type Theory --- Type theory --- Isomorphisme de Curry-Howard --- Théorie de la démonstration --- Lambda-calcul --- Théorie des types --- Isomorphisme de Curry-Howard. --- Théorie de la démonstration. --- Lambda-calcul. --- Théorie des types. --- Théorie de la démonstration. --- Théorie des types.
ISBN: 0444854908 9780444854902 Year: 1981 Volume: v. 103 Publisher: Amsterdam : North-Holland,
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Mathematical logic --- Lambda calculus --- Lambda-calcul --- 510.6 --- Lambda calculus. --- 510.6 Mathematical logic --- Calculus, Lambda --- Logic, Symbolic and mathematical --- Logique générale --- Logique mathématique --- Lambda-calculus --- Logique combinatoire
Book
ISBN: 2866012275 9782866012274 Year: 1990 Publisher: Paris : Hermès,
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Computational linguistics --- Mathematical linguistics --- Language and logic --- Linguistique informatique --- Linguistique mathématique --- Langage et logique --- Sciences cognitives --- Logique combinatoire --- Lambda-calcul --- Linguistique mathématique --- Language and logic. --- Langues --- Linguistique cognitive. --- Sciences cognitives.
ISBN: 0444875085 9780080933757 0080933750 128216919X 9781282169197 9786612169199 6612169192 0444867481 9780444867483 9780444875082 Year: 1984 Volume: 103 Publisher: Amsterdam ; New York : New York, N.Y. : North-Holland ; Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co.,
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Mathematical logic --- Lambda calculus. --- Programming languages (Electronic computers) --- Semantics. --- Programming language semantics --- Semantics --- Calculus, Lambda --- Logic, Symbolic and mathematical --- Lambda calculus --- Logique générale --- Logique mathématique --- Lambda-calcul --- Lambda-calculus --- Logique combinatoire
ISSN: 07632770 ISBN: 2225821046 9782225821042 Year: 1990 Publisher: Paris: Masson,
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Logic, Symbolic and mathematical --- Lambda calculus --- Algebra --- Functional programming (Computer science) --- Logic programming --- Logique symbolique et mathématique --- Lambda-calcul --- Algèbre --- Programmation fonctionnelle --- Programmation logique --- Problems, exercises, etc --- Problèmes et exercices --- Logique symbolique et mathématique. --- Lambda-calcul. --- Algèbre. --- Programmation fonctionnelle. --- Programmation logique. --- Logique symbolique et mathématique --- Algèbre --- Problèmes et exercices --- Logique mathématique --- Logique symbolique et mathématique - Problèmes et exercices --- Algèbre - Problèmes et exercices
Book
ISBN: 2729604162 9782729604165 Year: 1992 Publisher: Paris: InterÉditions,
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Langages de programmation --- Langages de programmation. --- Lambda-calcul. --- Syntaxe. --- Syntaxe --- Semantique. --- Semantique --- Programming languages (Electronic computers) --- Sémantique --- Logique mathématique --- Récursivité, Théorie de la --- Langages de programmation - Problèmes et exercices --- Langages de programmation - Syntaxe. --- Langages de programmation - Syntaxe - Problèmes et exercices --- Langages de programmation - Semantique. --- Langages de programmation - Semantique - Problèmes et exercices --- Logique générale --- Lambda-calculus
ISBN: 2130477097 Year: 1996 Publisher: Paris Presses universitaires de France
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Lexicology. Semantics --- Mathematical linguistics --- French language --- Parsing (Computer grammar) --- Information theory --- Lambda calculus --- Programming languages (Electronic computers) --- Computational linguistics --- Semantics --- Analyse automatique (Linguistique) --- Théorie de l'information --- Lambda-calcul --- Langages de programmation --- Linguistique informatique --- Linguistique mathématique --- Sémantique --- Methodology --- Méthodologie --- Grammar, Comparative and general --- -Lambda calculus --- Space and time in language --- Language and languages --- Formal semantics --- Semasiology --- Semiology (Semantics) --- Comparative linguistics --- Lexicology --- Meaning (Psychology) --- Calculus, Lambda --- Logic, Symbolic and mathematical --- Comparative grammar --- Grammar --- Grammar, Philosophical --- Grammar, Universal --- Philosophical grammar --- Linguistics --- Philology --- Temporal constructions --- Grammar, Comparative --- Lambda calculus. --- Semantics. --- Space and time in language. --- Temporal constructions. --- Théorie de l'information --- Linguistique mathématique --- Sémantique --- Méthodologie --- Temporal constructions (Grammar) --- Syntax
ISBN: 9780080934228 0080934226 1282258222 9781282258228 9786612258220 6612258225 0444890009 9780444890009 0262720248 9780262720243 Year: 1991 Publisher: Amsterdam ; New York : New York : North-Holland ; Distributors for the U.S. and Canada, Elsevier Science Pub. Co.,
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
This monograph began life as a series of papers documenting five years of research into the logical foundations of Categorial Grammar, a grammatical paradigm which has close analogies with Lambda Calculus and Type Theory. The technical theory presented here stems from the interface between Logic and Linguistics and, in particular, the theory of generalized quantification. A categorical framework with lambda calculus-oriented semantics is a convenient vehicle for generalizing semantic insights (obtained in various corners of natural language) into one coherent theory. The book aims to dem
Mathematical logic --- Logic --- Philosophy of language --- Language and logic. --- Categorial grammar. --- Lambda calculus. --- Logic, Symbolic and mathematical. --- Mathematical linguistics. --- Algebraic linguistics --- Language and languages --- Linguistics --- Linguistics, Mathematical --- Applied linguistics --- Information theory --- Computational linguistics --- Algebra of logic --- Logic, Universal --- Symbolic and mathematical logic --- Symbolic logic --- Mathematics --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- Calculus, Lambda --- Logic, Symbolic and mathematical --- Grammar, Categorial --- Grammar, Comparative and general --- Linguistics and logic --- Logic in language --- Semantics --- Statistical methods --- Mathematical models --- Philosophy --- Categorial grammar --- Lambda calculus --- Language and logic --- Mathematical linguistics --- Logic, symbolic and mathematical --- Grammaire catégorielle --- Lambda-calcul --- Langage et logique --- Logique symbolique et mathématique --- Linguistique mathématique --- Logic [Symbolic and mathematical ]
| Listing 1 - 10 of 12 | << page >> |
Sort by
|