Marina Lenisa
-
On the longest perpetual reductions in orthogonal expression reduction systems
Theoretical Computer Science
Coinductive characterizations of applicative structures
Mathematical Structures in Computer Science