Search Sciweavers | Sciweavers

3273 search results - page 4 / 655

» types 2007

click to vote

TYPES
2007
Springer

186views Formal Methods» more TYPES 2007»

In the Search of a Naive Type Theory

13 years 11 months ago

Download users.dimi.uniud.it

Agnieszka Kozubek, Pawel Urzyczyn

claim paper

Read More »

click to vote

TYPES
2007
Springer

158views Formal Methods» more TYPES 2007»

Working with Mathematical Structures in Type Theory

13 years 11 months ago

Download www.cs.unibo.it

Claudio Sacerdoti Coen, Enrico Tassi

claim paper

Read More »

click to vote

FOCI
2007
IEEE

278views Applied Computing» more FOCI 2007»

Type-2 Fuzzy Sets: Geometric Defuzzification and Type-Reduction

13 years 9 months ago

Download www.cci.dmu.ac.uk

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

claim paper

Read More »

click to vote

TYPES
2007
Springer

156views Formal Methods» more TYPES 2007»

Algorithmic Equality in Heyting Arithmetic Modulo

13 years 11 months ago

Download users.dimi.uniud.it

Lisa Allali

claim paper

Read More »

click to vote

TYPES
2007
Springer

136views Formal Methods» more TYPES 2007»

A Logic for Parametric Polymorphism with Effects

13 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers