The following pages link to Silvia Ghilezan (Q202167):
Displayed 47 items.
- Dynamic role authorization in multiparty conversations (Q315294) (← links)
- Combining behavioural types with security analysis (Q890614) (← links)
- Characterizing strong normalization in the Curien-Herbelin symmetric lambda calculus: extending the Coppo-Dezani heritage (Q930871) (← links)
- Security types for dynamic web data (Q935467) (← links)
- The ``relevance'' of intersection and union types (Q1381437) (← links)
- Behavioural inverse limit \(\lambda\)-models (Q1434350) (← links)
- Probabilistic reasoning about simply typed lambda terms (Q1709701) (← links)
- Strong normalization and typability with intersection types (Q1924327) (← links)
- Denotational and operational preciseness of subtyping: a roadmap. Dedicated to Frank de Boer on the occasion of his 60th birthday (Q2026790) (← links)
- Logic and applications -- LAP meeting (Q2037987) (← links)
- Towards probabilistic reasoning in type theory -- the intersection type case (Q2206780) (← links)
- Precise subtyping for synchronous multiparty sessions (Q2423747) (← links)
- Reducibility (Q2842839) (← links)
- (Q2851091) (← links)
- Binary relations and algebras on multisets (Q2969180) (← links)
- Linked data privacy (Q2973246) (← links)
- Types for Role-Based Access Control of Dynamic Web Data (Q3003511) (← links)
- Intuitionistic Sequent-Style Calculus with Explicit Structural Rules (Q3019972) (← links)
- (Q3070759) (← links)
- Intersection Types for the Resource Control Lambda Calculi (Q3105748) (← links)
- (Q3125171) (← links)
- An approach to call-by-name delimited continuations (Q3189857) (← links)
- Characterising Strongly Normalising Intuitionistic Sequent Terms (Q3499751) (← links)
- Intersection types for λGtz-calculus (Q3510443) (← links)
- Security Types for Dynamic Web Data (Q3608462) (← links)
- Inhabitation in Intersection and Union Type Assignment Systems (Q4286212) (← links)
- (Q4435466) (← links)
- (Q4448356) (← links)
- (Q4492862) (← links)
- (Q4501144) (← links)
- (Q4583846) (← links)
- (Q4794047) (← links)
- (Q4794072) (← links)
- Lambda terms for natural deduction, sequent calculus and cut elimination (Q4948037) (← links)
- Preciseness of Subtyping on Intersection and Union Types (Q5170817) (← links)
- The Duality of Classical Intersection and Union Types (Q5212033) (← links)
- Strong Normalization of the Dual Classical Sequent Calculus (Q5387838) (← links)
- Types for Proofs and Programs (Q5712307) (← links)
- Precise Subtyping for Asynchronous Multiparty Sessions (Q5886521) (← links)
- Full intersection types and topologies in lambda calculus (Q5943119) (← links)
- (Q6173574) (← links)
- Resource control and strong normalisation (Q6229704) (← links)
- Computational interpretation of classical logic with explicit structural rules (Q6231774) (← links)
- A journey through resource control lambda calculi and explicit substitution using intersection types (an account) (Q6242566) (← links)
- Resource control and intersection types: an intrinsic connection (Q6257047) (← links)
- L-types for resource awareness: an implicit name approach (Q6386280) (← links)
- Logic of Combinatory Logic (Q6420431) (← links)