Journal of Applied Mathematics and Computational Mechanics (Mar 2015)

A categorical model of predicate linear logic

  • Emilia Demeterová,
  • Daniel Mihályi,
  • Valerie Novitzká

DOI
https://doi.org/10.17512/jamcm.2015.1.03
Journal volume & issue
Vol. 14, no. 1
pp. 27 – 42

Abstract

Read online

No abstracts available.