• Publications
  • Influence
An Extension of System F with Subtyping
TLDR
The main focus of the paper is the equational theory of F<:, which is related to PER models and the notion of parametricity, and some categorical properties of the theory when restricted to closed terms, including interesting categorical isomorphisms.
Programming Languages: Principles and Paradigms
TLDR
The author explains the main programming paradigms (imperative, object-oriented, functional, and logic), and makes clear separation between the design, implementation and pragmatic aspects of programming languages.
Controllability analysis of multi-agent systems using relaxed equitable partitions
This paper investigates how to make decentralised networks, amenable to external control, i.e., how to ensure that they are appropriately organised so that they can be effectively 'reprogrammed'. In
A Computational Interpretation of Modal Proofs
Proof theory of modal logics, though largely studied since the fifties, has always been a delicate subject, the main reason being the apparent impossibility to obtain elegant, natural systems for
Interacting with Networks: How Does Structure Relate to Controllability in Single-Leader, Consensus Networks?
As networked dynamical systems appear around us at an increasing rate, questions concerning how to manage and control such systems are becoming more important. Examples include multiagent robotics,
An Extension of System F with Subtyping
TLDR
An extension of F, called F<:, is studied, that combines parametric polymorphism with subtyping and provides a basis for polymorphic programming languages.
Proof-functional connectives and realizability
TLDR
For each of these connectives, strong equivalence, strong conjunction and relevant implication are studied, a type assignment system, a realizability semantics, and a completeness theorem are given.
Derivational Complexity Is an Invariant Cost Model
We show that in the context of orthogonal term rewriting systems, derivational complexity is an invariant cost model, both in innermost and in outermost reduction. This has some interesting
...
...