Jump from parallel to sequential proofs: on polarities and sequentiality in Linear Logic

2008

Paolo Di Giamberardino

PhD Thesis, Università di Roma Tre - Institut des Mathématiques de Luminy

Download: PhDthesis.pdf

BibTeX

@phdthesis{,
	author = {Di Giamberardino, Paolo},
	title = {Jump from parallel to sequential proofs: on polarities and sequentiality in Linear Logic},
	year= {2008},
	school = {Università di Roma Tre - Institut des Mathématiques de Luminy},
}