Similar Items: Trees from Functions as Processes
- A Functional (Monadic) Second-Order Theory of Infinite Trees
- Extensional and Non-extensional Functions as Processes
- Zeta Functions and the (Linear) Logic of Markov Processes
- Latent Process Models for Functional Network Data
- Tree-Automatic Well-Founded Trees
- Non-Deterministic Functions as Non-Deterministic Processes (Extended Version)