130
click to vote
FP
15 years 4 months ago
1991 
The notion of functionality is not cast in stone, but depends upon what we have as types in our language. With partial equivalence relations (pers) as types we show that the funct...
|
Formal Methods