Accueil > Recherche > Papiers > An Abstract Approach to Stratification in Linear Logic publié

Avec Damiano Mazza et Lorenzo Tortora de Falco

An Abstract Approach to Stratification in Linear Logic publié

vendredi 30 octobre 2015, par Pierre

Cet article (preprint ici ou sur Arxiv) avec Damiano Mazza et Lorenzo Tortora de Falco a finalement été publié !

@article{aasll2015,
title = "An abstract approach to stratification in linear logic ",
journal = "Information and Computation ",
volume = "241",
number = "",
pages = "32 - 61",
year = "2015",
note = "",
issn = "0890-5401",
author = "Pierre Boudes and Damiano Mazza and Lorenzo Tortora de Falco",
}

An Abstract Approach to Stratification in Linear Logic publié

Portfolio