681 search results - page 90 / 137 » Parsing as Natural Deduction |
JOLLI
2008
14 years 9 months ago
2008
Abstract. This paper presents a novel proof-theoretic account of dialogue coherfocuses on an abstract class of cooperative information-oriented dialogues and describes how their st...
IGPL
2007
14 years 9 months ago
2007
In the School of Mathematical Sciences at Queen Mary in the University of London we have been running a module that teaches the students to write good mathematical English. The mo...
BIRTHDAY
2010
Springer
14 years 7 months ago
2010
Springer
We define the notions of a canonical inference rule and a canonical constructive system in the framework of strict single-conclusion Gentzen-type systems (or, equivalently, natural...
FOSSACS
2012
Springer
13 years 5 months ago
2012
Springer
We study type-directed encodings of the simply-typed λ-calculus in a session-typed π-calculus. The translations proceed in two steps: standard embeddings of simply-typed λ-calcu...
CICLING
2003
Springer
15 years 3 months ago
2003
Springer
Abstract. This paper reports on the development of a finite state system for finding grammar errors without actually specifying the error. A corpus of Swedish text written by chi...