18429 search results - page 205 / 3686 » Typing dynamic typing |
199
click to vote
IFSA
2007
Springer
16 years 21 days ago
2007
Springer
The algebra of truth values for fuzzy sets of type-2, due to Zadeh, contains as subalgebras those of type-1 and of interval-valued fuzzy sets. It also contains many other interest...
176
click to vote
MKM
2007
Springer
16 years 20 days ago
2007
Springer
Abstract. We have formalized material from an introductory real analysis textbook in the proof assistant Scunak. Scunak is a system based on set theory encoded in a dependent type ...
185
click to vote
ECSQARU
2005
Springer
16 years 2 days ago
2005
Springer
This paper is part of a project to match real-world descriptions of instances of objects to models of objects. We use a rich ontology to describe s and models at multiple levels of...
169
click to vote
EDCC
2005
Springer
16 years 2 days ago
2005
Springer
Fault links represent relationships between the types of mistakes made and the type of module being developed or modified. The existence of such fault links can be used to guide co...
180
click to vote
FCT
2005
Springer
16 years 2 days ago
2005
Springer
We consider terms of simply typed lambda calculus in which copy of a subterm may not be inserted to the argument of itself during the reduction. The terms form wide class which inc...