Sciweavers

3273 search results - page 4 / 655
» types 2007
Sort
View
TYPES
2007
Springer
15 years 3 months ago
In the Search of a Naive Type Theory
Agnieszka Kozubek, Pawel Urzyczyn
68
Voted
TYPES
2007
Springer
15 years 3 months ago
Working with Mathematical Structures in Type Theory
Claudio Sacerdoti Coen, Enrico Tassi
FOCI
2007
IEEE
15 years 1 months ago
Type-2 Fuzzy Sets: Geometric Defuzzification and Type-Reduction
This paper presents the geometric defuzzifier for generalised type-2 fuzzy sets. This defuzzifier can be executed in real-time and can therefore be applied to control and other rea...
Simon Coupland
58
Voted
TYPES
2007
Springer
15 years 3 months ago
Algorithmic Equality in Heyting Arithmetic Modulo
Lisa Allali
TYPES
2007
Springer
15 years 3 months ago
A Logic for Parametric Polymorphism with Effects
Rasmus Ejlers Møgelberg, Alex Simpson