@article{de_Paiva_2014,
    doi = {10.1093/jigpal/jzu013},
    url = {https://doi.org/10.1093%2Fjigpal%2Fjzu013},
    year = {2014},
    month = {may},
    publisher = {Oxford University Press ({OUP})},
    volume = {22},
    number = {5},
    pages = {791--804},
    author = {V. de Paiva},
    title = {Linear logic model of state revisited},
    journal = {Logic Journal of {IGPL}}
}

@article{de_Paiva_2014, doi = {10.1093/jigpal/jzu013}, url = {https://doi.org/10.1093%2Fjigpal%2Fjzu013}, year = {2014}, month = {may}, publisher = {Oxford University Press ({OUP})}, volume = {22}, number = {5}, pages = {791--804}, author = {V. de Paiva}, title = {Linear logic model of state revisited}, journal = {Logic Journal of {IGPL}} }