Linear Contexts and the Sharing Functor: Techniques for Symbolic Computation (2003)

by Gérard Huet
Venue:in « Thirty Five Years of Automating Mathematics
Citations:12 - 3 self

Documents Related by Co-Citation

15 Transducers as lexicon morphisms, phonemic segmentation by euphony analysis, application to a sanskrit tagger, in "Journal of Functional Programming – G HUET
635 publications by the team in recent years – Major
10 Zen and the art of symbolic computing: Light and fast applicative algorithms for computational linguistics – Gérard Huet - 2003
12 Remnant Movement and Structural Complexity – Edward P. Stabler - 1998
11 Extending Lambek grammars: a logical account of minimalist grammars – Alain Lecomte, Christian Retoré - 2001
20 Proof nets for linguistic analysis – R Moot - 2002
627 From Discourse to Logic – H Kamp, U Reyle - 1993
279 Tree adjunct grammars – Aravind K Joshi, Leon Levy, Masako Takahashi - 1975
60 A GENERAL COMPUTATIONAL MODEL FOR WORD-FORM RECOGNITION AND PRODUCTION – Kimmo Koskenniemi - 1984
20 Universal Grammar and American Sign Language – Diane C Lillo-Martin - 1991
521 Foundations of statistical natural language processing – C Manning, H Schütze - 1999
9 Generative Grammar in Resource Logics – C RETORÉ, E STABLER
10 Applications of Finite-State Transducers – L KARTTUNEN - 2000
10 Towards a Minimal Logic for Minimalist Grammars: a Transformational Use of Lambek Calculus – A LECOMTE, C RETORÉ - 1999
12 Pointing out differences: ASL pronouns in syntactic theory – D Lillo-Martin, E S Klima - 1990
32 Finitestate morphology: Xerox tools and techniques – K R y L Karttunen Beesley - 2002
122 The Convergence Of Mildly Context-Sensitive Grammar Formalisms – Aravind K. Joshi, K. Vijay Shanker, David Weir - 1990
290 Regular models of phonological rule systems." Paper presented to – Ronald M. Kaplan, Martin Kay T - 1988
39 Derivational Minimalism is Mildly Context-Sensitive – Jens Michaelis - 1998