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

by Gérard Huet
Venue:in « Thirty Five Years of Automating Mathematics
Citations:13 - 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
11 Zen and the art of symbolic computing: Light and fast applicative algorithms for computational linguistics – Gérard Huet - 2003
754 publications by the team in recent years – Major
9 Generative Grammar in Resource Logics – C RETORÉ, E STABLER
10 Towards a Minimal Logic for Minimalist Grammars: a Transformational Use of Lambek Calculus – A LECOMTE, C RETORÉ - 1999
15 Extending Lambek grammars: a logical account of minimalist grammars – Alain Lecomte, Christian Retoré - 2001
30 Universal Grammar and American Sign Language – D Lillo-Martin - 1991
64 A GENERAL COMPUTATIONAL MODEL FOR WORD-FORM RECOGNITION AND PRODUCTION – Kimmo Koskenniemi - 1984
21 Pointing out Differences: ASL Pronouns in Syntactic Theory – Diane Lillo-Martin, Edward S Klima - 1990
334 Regular models of phonological rule systems." Paper presented to – Ronald M. Kaplan, Martin Kay T - 1988
25 Proof Nets for Linguistic Analysis – R Moot - 2002
312 Tree Adjunct Grammars – A K Joshi, L S Levy, M Takahashi - 1975
724 From Discourse to Logic – H Kamp, U Reyle - 1993
736 H.: Foundations of Statistical Natural Language Processing – C D Manning, Schütze - 1999
10 Applications of Finite-State Transducers – L KARTTUNEN - 2000
15 Remnant Movement and Structural Complexity – Edward P. Stabler - 1998
40 2003) Finite-State Morphology: Xerox Tools And Techniques – K R Beesley, L Karttunen
134 The Convergence Of Mildly Context-Sensitive Grammar Formalisms – Aravind K. Joshi, K. Vijay Shanker, David Weir - 1990
10 The Zen Computational Linguistics Toolkit – Gerard Huet - 2002