17983 search results - page 2 / 3597 » Set Types and Applications |
118
Voted
EUSFLAT
2009
15 years 18 days ago
2009
Fuzzy Logic Systems are widely recognized to be successful at modelling uncertainty in a large variety of applications. While recently interval type-2 fuzzy logic has been credited...
95
Voted
TPHOL
2007
IEEE
15 years 9 months ago
2007
IEEE
Abstract. We present a formal treatment of normalization by evaluation in type theory. The involved semantics of simply-typed λ-calculus is exactly the simply typed fragment of th...
100
Voted
EOR
2006
15 years 2 months ago
2006
This paper describes a framework for analysing matches in multiple data sets. The framework described is quite general and can be applied to a variety of problems where matches ar...
106
Voted
SAS
2005
Springer
15 years 8 months ago
2005
Springer
A method is developed to infer a polymorphic well-typing for a logic program. Our motivation is to improve the automation of termination analysis by deriving types from which norms...
141
Voted
JFP
2010
15 years 1 months ago
2010
Session types support a type-theoretic formulation of structured patterns of communication, so that the communication behaviour of agents in a distributed system can be verified ...