Hybrid linear logic, revisited
CHAUDHURI, KAUSTUV, DESPEYROUX, JOËLLE, OLARTE, CARLOS, PIMENTEL, ELAINELangue:
english
Journal:
Mathematical Structures in Computer Science
DOI:
10.1017/S0960129518000439
Date:
April, 2019
Fichier:
PDF, 1.37 MB
english, 2019