2956 search results - page 2 / 592 » Databases and Higher Types |
RTA
2004
Springer
13 years 10 months ago
2004
Springer
Several authors devised type-based termination criteria for ML-like languages allowing non-structural recursive calls. We extend these works to general rewriting and dependent type...
POPL
1991
ACM
13 years 9 months ago
1991
ACM
DEXA
2003
Springer
13 years 10 months ago
2003
Springer
Human Papillomavirus (HPV) infection is known as the main factor for cervical cancer, where cervical cancer is a leading cause of cancer deaths in women worldwide. Because there ar...
CIE
2005
Springer
13 years 11 months ago
2005
Springer
Abstract. This paper extends the logical approach to computable analysis via Σ–definability to higher type continuous data such as functionals and operators. We employ definab...
MLQ
2008
13 years 5 months ago
2008
We study, from a classical point of view, how the truth of a statement about higher type functionals depends on the underlying model. The models considered are the classical set-t...