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