7555 search results - page 62 / 1511 » The Type System of DBPL |
122
click to vote
ENTCS
2007
15 years 3 months ago
2007
We formalize in the logical framework ATS/LF a proof based on Tait’s method that establishes the simply-typed lambda-calculus being strongly normalizing. In malization, we emplo...
126
Voted
COOPIS
2003
IEEE
15 years 8 months ago
2003
IEEE
Abstract. Decision-makers in critical fields such as medicine and finance make use of a wide range of information available over the Internet. Mediation, a data integration techn...
190
Voted
POPL
2002
ACM
16 years 3 months ago
2002
ACM
108
Voted
MEMBRANE
2009
Springer
15 years 10 months ago
2009
Springer
IJCNN
2007
IEEE
15 years 9 months ago
2007
IEEE