4 results
Modular proof of strong normalization for the calculus of constructions
-
- Journal:
- Journal of Functional Programming / Volume 1 / Issue 2 / April 1991
- Published online by Cambridge University Press:
- 10 August 2016, pp. 155-189
-
- Article
-
- You have access
- Export citation
Unification Grammars by Nissim Francez and Shuly Wintner, Cambridge University Press, 2012. Hardcover, ISBN-13 978-1-107-01417-6, xii + 312 pp.
-
- Journal:
- Theory and Practice of Logic Programming / Volume 12 / Issue 6 / November 2012
- Published online by Cambridge University Press:
- 17 July 2012, pp. 937-939
-
- Article
- Export citation
Robust grammatical analysis for spoken dialogue systems
-
- Journal:
- Natural Language Engineering / Volume 5 / Issue 1 / March 1999
- Published online by Cambridge University Press:
- 01 March 1999, pp. 45-93
-
- Article
- Export citation
Efficient generation of random sentences
-
- Journal:
- Natural Language Engineering / Volume 2 / Issue 1 / March 1996
- Published online by Cambridge University Press:
- 01 March 1996, pp. 1-13
-
- Article
- Export citation