A categorical model of predicate linear logic
Emilia Demeterová, Daniel Mihályi, Valerie Novitzká · Journal of Applied Mathematics and Computational Mechanics · 2015
Journal of Applied Mathematics and Computational Mechanics, Prace Naukowe Instytutu Matematyki i Informatyki, Politechnika Częstochowska, Scientific Research of the Institute of Mathematics and Computer Science, Czestochowa University of Technology