Skip to main content
FLUS
Fuzzy Lambda calculUS
Main menu
Home
Crisp Computing
Computing with Fuzzy
Fuzzy Computing
You are here
Home
ยป
Fuzzy Computing
FLUS Tool: Fuzzy Computing
Level1 specification:
sorts{nat} ops{ (zero:->nat|1), (succ:nat->nat|0.9) }
Nesting level:
Sort:
Term:
Term:
Top
