The following pages link to Franco Barbanera (Q235594):
Displaying 25 items.
- Reversible client/server interactions (Q315298) (← links)
- Orchestrated session compliance (Q347361) (← links)
- Intersection type assignment systems with higher-order algebraic rewriting (Q672048) (← links)
- Space-aware ambients and processes (Q875514) (← links)
- Proof-functional connectives and realizability (Q1330311) (← links)
- A constructive valuation semantics for classical logic (Q1355127) (← links)
- The simply typed theory of \(\beta\)-conversion has no maximum extension (Q1383152) (← links)
- Session types and subtyping for orchestrated interactions (Q1633346) (← links)
- A full continuous model of polymorphism (Q1853594) (← links)
- Intersection and union types: Syntax and semantics (Q1893736) (← links)
- A strong normalization result for classical logic (Q1902976) (← links)
- A symmetric lambda calculus for classical program extraction (Q1917084) (← links)
- Composition and decomposition of multiparty sessions (Q1996856) (← links)
- Connecting open systems of communicating finite state machines (Q2011202) (← links)
- Intersection types and lambda models (Q2369008) (← links)
- (Q2766797) (← links)
- A Type Inference Algorithm for Secure Ambients (Q2841272) (← links)
- (Q2847776) (← links)
- A Filter Model for the λμ-Calculus (Q3007668) (← links)
- COMBINING TERM REWRITING AND TYPE ASSIGNMENT SYSTEMS (Q3358239) (← links)
- Typing Asymmetric Client-Server Interaction (Q3400915) (← links)
- Composition of synchronous communicating systems (Q6052940) (← links)
- On Composing Communicating Systems (Q6122641) (← links)
- A Theory of Formal Choreographic Languages (Q6135778) (← links)
- Partially Typed Multiparty Sessions (Q6197376) (← links)
