Non decomposable connectives of linear logic

Autor: Maieli, Roberto
Zdroj: In Annals of Pure and Applied Logic November 2019 170(11)
Databáze: ScienceDirect