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

765 publications by the team in recent years – Major
807 Foundations of Statistical Natural Language Processing – C D Manning, H Schutze - 2002
812 From Discourse to Logic – H Kamp, U Reyle - 1993
15 Transducers as lexicon morphisms, phonemic segmentation by euphony analysis, application to a sanskrit tagger, in "Journal of Functional Programming – G HUET
1077 The Generative Lexicon – James Pustejovsky - 1991
1939 The minimalist program – N Chomsky - 1995
347 Regular models of phonological rule systems." Paper presented to – Ronald M. Kaplan, Martin Kay T - 1988
343 Tree adjunct grammars – A Joshi, L Levy, M Takahashi - 1975
418 Dependency Syntax: Theory and Practice – I A Mel'čuk - 1988