The following pages link to Ugo de'Liguoro (Q315297):
Displayed 48 items.
- Reversible client/server interactions (Q315298) (← links)
- Orchestrated session compliance (Q347361) (← links)
- Filter models for conjunctive-disjunctive \(\lambda\)-calculi (Q672044) (← links)
- Calculi, types and applications: essays in honour of M. Coppo, M. Dezani-Ciancaglini and S. Ronchi della Rocca (Q930863) (← links)
- Toward the interpretation of non-constructive reasoning as non-monotonic learning (Q1004290) (← links)
- Combining type disciplines (Q1319505) (← links)
- Session types and subtyping for orchestrated interactions (Q1633346) (← links)
- Intersection and union types: Syntax and semantics (Q1893736) (← links)
- Connecting open systems of communicating finite state machines (Q2011202) (← links)
- Towards refinable choreographies (Q2141294) (← links)
- The untyped computational \(\lambda \)-calculus and its intersection type discipline (Q2210507) (← links)
- Logical equivalence for subtyping object and recursive types (Q2481559) (← links)
- Nondeterministic extensions of untyped \(\lambda\)-calculus (Q2508325) (← links)
- (Q2778829) (← links)
- Subtyping in Logical Form (Q2842836) (← links)
- (Q2847776) (← links)
- Interactive Realizers (Q2946659) (← links)
- A Filter Model for the λμ-Calculus (Q3007668) (← links)
- A Realizability Interpretation for Intersection and Union Types (Q3179292) (← links)
- Typing Asymmetric Client-Server Interaction (Q3400915) (← links)
- A Calculus of Realizers for EM 1 Arithmetic (Extended Abstract) (Q3540181) (← links)
- A Filter Model for Concurrent $\lambda$-Calculus (Q4210114) (← links)
- (Q4235428) (← links)
- (Q4263862) (← links)
- (Q4490718) (← links)
- Non-monotonic Pre-fix Points and Learning (Q4589611) (← links)
- (Q4600774) (← links)
- (Q4637692) (← links)
- (Q4649539) (← links)
- (Q4699351) (← links)
- (Q4835619) (← links)
- (Q4992894) (← links)
- (Q4993849) (← links)
- (Q5019695) (← links)
- (Q5057639) (← links)
- May and must convergency in concurrent λ-calculus (Q5096878) (← links)
- (Q5216082) (← links)
- (Q5216150) (← links)
- (Q5216412) (← links)
- The approximation theorem for the Λμ-calculus (Q5268997) (← links)
- (Q5277832) (← links)
- (Q5367054) (← links)
- Theoretical Computer Science (Q5395063) (← links)
- Knowledge Spaces and the Completeness of Learning Strategies (Q5404474) (← links)
- Sub-behaviour relations for session-based client/server systems (Q5740659) (← links)
- On reduction and normalization in the computational core (Q5879269) (← links)
- Theoretical Computer Science (Q5897361) (← links)
- From semantics to types: the case of the imperative \(\lambda\)-calculus (Q6093581) (← links)