E Dlhos
No ORCID on file
· 4 papers in corpus
· active 1966-1978
In this article, we introduce a ¿-notation that is useful for many concepts of the ¿-calculus. The new notation is a simple translation of the classical one. Yet, it provides many nice advantages.\nFirst, we show that definitions such as co…