T Vrobel
No ORCID on file
· 2 papers in corpus
other
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…
other
1973