17 citations · 42 across the 15 of their papers we have counts for
Showing 2018Show all
2 papers · 1 filter
cs.LO2018
An Intuitionistic Linear Logical Semantics of SAND Attack Trees
Harley Eades
In this paper we introduce a new logical foundation of SAND attack trees in intuitionistic linear logic. This new foundation is based on a new logic called the Attack Tree Linear L…
cs.LO2018★ 8 cited
Dialectica Categories for the Lambek Calculus
Valeria de Paiva, Harley Eades
We revisit the old work of de Paiva on the models of the Lambek Calculus in dialectica models making sure that the syntactic details that were sketchy on the first version got comp…