On difunctions
(2023)
Journal Article
Backhouse, R., & Oliveira, J. N. (2023). On difunctions. Journal of Logical and Algebraic Methods in Programming, 134, Article 100878. https://doi.org/10.1016/j.jlamp.2023.100878
The notion of a difunction was introduced by Jacques Riguet in 1948. Since then it has played a prominent role in database theory, type theory, program specification and process theory. The theory of difunctions is, however, less known in computing t... Read More about On difunctions.