Computational interpretations of linear logic

From MaRDI portal
Publication:685430