5 citations · 5 across the 3 of their papers we have counts for
Showing cs.LOShow all
3 papers · 1 filter
cs.LO2023
System with Context-free Session Types
Diana Costa, Andreia Mordido, Diogo Poças +1
We study increasingly expressive type systems, from -- an extension of the polymorphic lambda calculus with equirecursive types -- to -- the higher-order polymorph…
cs.LO2022★ 5 cited
Higher-order Context-free Session Types in System F
Diana Costa, Andreia Mordido, Diogo Poças +1
We present an extension of System F with higher-order context-free session types. The mixture of functional types with session types has proven to be a challenge for type equivalen…
cs.LO2022
4DL: a four-valued Dynamic logic and its proof-theory
Diana Costa
Transition systems are often used to describe the behaviour of software systems. If viewed as a graph then, at their most basic level, vertices correspond to the states of a progra…