The following pages link to Franco Barbanera (Q235594):
Displaying 48 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)
- (Q4035227) (← links)
- Modularity of strong normalization in the algebraic-λ-cube (Q4234771) (← links)
- (Q4281464) (← links)
- (Q4281465) (← links)
- (Q4364394) (← links)
- Toward a semantics for the QUEST language (Q4365022) (← links)
- (Q4490745) (← links)
- (Q4600774) (← links)
- Modularity of termination and confluence in combinations of rewrite systems with λω (Q4630300) (← links)
- Intersection Types and Computational Rules (Q4924527) (← links)
- (Q4993849) (← links)
- Intersection and union types (Q5096243) (← links)
- (Q5216082) (← links)
- (Q5216150) (← links)
- (Q5216412) (← links)
- (Q5367054) (← links)
- Proof-irrelevance out of excluded-middle and choice in the calculus of constructions (Q5687912) (← links)
- Types for Proofs and Programs (Q5712313) (← links)
- Sub-behaviour relations for session-based client/server systems (Q5740659) (← links)
- Adding algebraic rewriting to the calculus of constructions : Strong normalization preserved (Q5881282) (← links)
- Advances in Computing Science – ASIAN 2003. Progamming Languages and Distributed Computation Programming Languages and Distributed Computation (Q5896949) (← links)
- Intersection types for \(\lambda\)-trees (Q5958291) (← 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)
- Partially typed multiparty sessions with internal delegation (Q6643472) (← links)
