*-calculus and Combinatory Logic (2001)

Cached

Download Links

by Unknown Authors

Active Bibliography

779 Inductive-Data-Type Systems – Frederic Blanqui, Jean-Pierre Jouannaud, Mitsuhiro Okada - 2002
576 A Syntactic Approach to Type Soundness – Andrew K. Wright, Matthias Felleisen - 1992
578 Term Rewriting Systems – J. W. Klop - 1992
541 DataGuides: Enabling Query Formulation and Optimization in Semistructured Databases – Roy Goldman, Jennifer Widom - 1997
1023 Head-Driven Statistical Models for Natural Language Parsing – Michael Collins - 1999
488 The mathematics of sentence structure – Joachim Lambek, Joachim Lambek
447 A Guided Tour to Approximate String Matching – Gonzalo Navarro - 1999
403 Convolution Kernels on Discrete Structures – David Haussler - 1999
386 Parsing English with a Link Grammar – Daniel D. Sleator, Davy Temperley - 1991