D. Mihályi

Duality Between Formal Description of Program Construction and Program Behaviour

D. Mihályi, 2010 .

Resource-oriented Programming Based on Linear Logic

Valerie Novitzká, Daniel Mihályi, Valerie Novitzká, 2007 .

A categorical model of predicate linear logic

Valerie Novitzká, Daniel Mihályi, Emilia Demeterova, 2015 .

POLYMORPHIC TYPE THEORY AS A BASE FOR CATEGORICAL LOGIC

Valerie Novitzká, D. Mihályi, 2007 .

Some useful aspects about coalgebræ and coalgebraic logic in computer science

J. Perháč, D. Mihályi, William Steingartner, 2017 .

Linux Security Enhancement Through Log Files Distribution Specified by Epistemic Linear Logic

Daniel Mihályi, Ján Perháč, Lukáš Reľovský, 2018, 2018 IEEE 22nd International Conference on Intelligent Engineering Systems (INES).

LINEAR LOGICAL REASONING ON PROGRAMMING

Valerie NOVITZKÁ, Daniel MIHÁLYI, Viliam SLODI, 2006 .

Multi-contextual Trust Model for Multi-Agent Systems

D. Mihályi, 2010 .

Program Components & Abstract Behavioral Types

Daniel Mihályi, Marián Jenčik, D. Mihályi, 2012 .