10435 search results - page 310 / 2087 » Computational Biology and Language |
187
click to vote
ICFP
2000
ACM
15 years 11 months ago
2000
ACM
We review the close relationship between abstract machines for (call-by-name or call-by-value) λ-calculi (extended with Felleisen’s C) and sequent calculus, reintroducing on the...
183
click to vote
AMAST
2000
Springer
15 years 11 months ago
2000
Springer
Abstract. Algebraic compilers provide a powerful and convenient mechanism for specifying language translators. With each source language operation one associates a computation for ...
162
click to vote
ICFCA
2007
Springer
16 years 26 days ago
2007
Springer
We model a Digital Library as a formal context in which objects are documents and attributes are terms describing documents contents. A formal concept is very close to the notion o...
212
click to vote
CICLING
2003
Springer
15 years 12 months ago
2003
Springer
The theory of realizational morphology presented by Stump in his influential book Inflectional Morphology (2001) describes the derivation of inflected surface forms from underly...
143
click to vote
LFP
1990
15 years 7 months ago
1990
d Abstract) V. Breazu-Tannen C. A. Gunter A. Scedrov University of Pennsylvania This paper relates two views of the operational semantics of a language with multiple