8 results on '"Lago, Ugo Dal"'
Search Results
2. The Geometry of Bayesian Programming
3. The geometry of concurrent interaction: Handling multiple ports by way of multiple tokens
4. Effectful applicative bisimilarity: Monads, relators, and Howe's method
5. Parallelism and Synchronization in an Infinitary Context
6. Metric Reasoning about ?-Terms: The Affine Case.
7. Light Logics and Optimal Reduction: Completeness and Complexity
8. On the Equivalence of Automaton-Based Representations of Time Granularities
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.