| Publication | Date of Publication | Type |
|---|
| On asynchronous multiparty session types for federated learning | 2026-03-20 | Paper |
| Structural rules and resource control in logic and computation | 2023-07-21 | Paper |
Precise Subtyping for Asynchronous Multiparty Sessions
ACM Transactions on Computational Logic | 2023-04-05 | Paper |
| Logic of Combinatory Logic | 2022-12-13 | Paper |
| L-types for resource awareness: an implicit name approach | 2021-12-21 | Paper |
| Logic and applications -- LAP meeting | 2021-07-08 | Paper |
| Denotational and operational preciseness of subtyping: a roadmap. Dedicated to Frank de Boer on the occasion of his 60th birthday | 2021-05-20 | Paper |
| Towards probabilistic reasoning in type theory -- the intersection type case | 2020-10-26 | Paper |
The duality of classical intersection and union types
Fundamenta Informaticae | 2020-01-24 | Paper |
Precise subtyping for synchronous multiparty sessions
Journal of Logical and Algebraic Methods in Programming | 2019-06-20 | Paper |
| Encoding of multi level \(S\)-threshold functions | 2018-09-03 | Paper |
| Probabilistic reasoning about simply typed lambda terms | 2018-04-06 | Paper |
Linked data privacy
Mathematical Structures in Computer Science | 2017-04-03 | Paper |
Binary relations and algebras on multisets
Publications de l'Institut Math?matique (Belgrade) | 2017-03-14 | Paper |
Dynamic role authorization in multiparty conversations
Formal Aspects of Computing | 2016-09-20 | Paper |
Combining behavioural types with security analysis
Journal of Logical and Algebraic Methods in Programming | 2015-11-10 | Paper |
| Resource control and intersection types: an intrinsic connection | 2014-12-06 | Paper |
An approach to call-by-name delimited continuations
Proceedings of the 35th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages | 2014-09-12 | Paper |
Preciseness of subtyping on intersection and union types
Lecture Notes in Computer Science | 2014-07-24 | Paper |
| Intersection and union types in the \(\bar{\lambda}\mu\tilde{\mu}\)-calculus | 2013-10-02 | Paper |
Reducibility: a ubiquitous method in lambda calculus with intersection types
Electronic Notes in Theoretical Computer Science | 2013-08-16 | Paper |
| A journey through resource control lambda calculi and explicit substitution using intersection types (an account) | 2013-06-10 | Paper |
| Computational interpretation of classical logic with explicit structural rules | 2012-03-21 | Paper |
Intersection types for the resource control lambda calculi
Theoretical Aspects of Computing – ICTAC 2011 | 2012-01-06 | Paper |
| Resource control and strong normalisation | 2011-12-15 | Paper |
Intuitionistic sequent-style calculus with explicit structural rules
Logic, Language, and Computation | 2011-07-29 | Paper |
Types for role-based access control of dynamic web data
Functional and Constraint Logic Programming | 2011-05-27 | Paper |
| scientific article; zbMATH DE number 5841868 (Why is no real title available?) | 2011-01-26 | Paper |
Security Types for Dynamic Web Data
Trustworthy Global Computing | 2009-03-05 | Paper |
Security types for dynamic web data
Theoretical Computer Science | 2008-08-06 | Paper |
Intersection types for λGtz-calculus
Publications de l'Institut Math?matique (Belgrade) | 2008-07-02 | Paper |
Characterizing strong normalization in the Curien-Herbelin symmetric lambda calculus: extending the Coppo-Dezani heritage
Theoretical Computer Science | 2008-06-24 | Paper |
Characterising Strongly Normalising Intuitionistic Sequent Terms
Lecture Notes in Computer Science | 2008-06-03 | Paper |
Strong Normalization of the Dual Classical Sequent Calculus
Logic for Programming, Artificial Intelligence, and Reasoning | 2008-05-27 | Paper |
Types for Proofs and Programs
Lecture Notes in Computer Science | 2005-12-23 | Paper |
Behavioural inverse limit \(\lambda\)-models
Theoretical Computer Science | 2004-08-04 | Paper |
| scientific article; zbMATH DE number 2044492 (Why is no real title available?) | 2004-02-18 | Paper |
| scientific article; zbMATH DE number 2003154 (Why is no real title available?) | 2003-11-12 | Paper |
| scientific article; zbMATH DE number 1868900 (Why is no real title available?) | 2003-02-16 | Paper |
| scientific article; zbMATH DE number 1868923 (Why is no real title available?) | 2003-02-16 | Paper |
Full intersection types and topologies in lambda calculus
Journal of Computer and System Sciences | 2002-08-14 | Paper |
| scientific article; zbMATH DE number 1499090 (Why is no real title available?) | 2000-09-03 | Paper |
| scientific article; zbMATH DE number 1482191 (Why is no real title available?) | 2000-07-27 | Paper |
Lambda terms for natural deduction, sequent calculus and cut elimination
Journal of Functional Programming | 2000-06-07 | Paper |
The ``relevance of intersection and union types
Notre Dame Journal of Formal Logic | 1999-08-17 | Paper |
| scientific article; zbMATH DE number 992007 (Why is no real title available?) | 1997-03-16 | Paper |
Strong normalization and typability with intersection types
Notre Dame Journal of Formal Logic | 1996-10-14 | Paper |
Inhabitation in Intersection and Union Type Assignment Systems
Journal Of Logic And Computation | 1994-03-27 | Paper |
