Deep inference and expansion trees for second-order multiplicative linear logic
Sign Up to like & getrecommendations! Published in 2018 at "Mathematical Structures in Computer Science"
DOI: 10.1017/s0960129518000385
Abstract: In this paper, we introduce the notion of expansion tree for linear logic. As in Miller's original work, we have a shallow reading of an expansion tree that corresponds to the conclusion of the proof,… read more here.
Keywords: deep inference; expansion; expansion trees; linear logic ... See more keywords