#### Filter Results:

- Full text PDF available (7)

#### Publication Year

2006

2012

- This year (0)
- Last 5 years (2)
- Last 10 years (10)

#### Publication Type

#### Co-author

#### Journals and Conferences

Learn More

- Viliam Slodicák
- 2011

Using of category theory in computer science has extremely grown in the last decade. Categories allow us to express mathematical structures in unified way. Algebras are used for constructing basic structures used in computer programs. A program can be considered as an element of the initial algebra arising from the used programming language. In our… (More)

- Viliam Slodicák, Pavol Macko
- Electr. Notes Theor. Comput. Sci.
- 2011

In our paper we follow the development of our approach of regarding programming as logical reasoning in intuitionistic linear logic. We present basic notions of linear logic and its deduction system and we define categorical semantics of linear logic as a symmetric monoidal closed category. Then we construct linear type theory over linear Church’s types… (More)

- Cs. Szabo, Viliam Slodicák
- 2011 IEEE 9th International Symposium on Applied…
- 2011

This paper includes a contribution to explaining category theory using software engineering tasks and vice versa. First, basics of category theory are presented. A couple of examples follow including definitions of categories for web services and/or ones that use 2D/3D points as objects and computer graphics transformations as morphisms. Another category is… (More)

Linear logic provides a logical perspective on computational issues such as control of resources and order of evaluation. The most important feature of linear logic is that formulas are considered as actions. While classical logic treats the sentences that are always true or false, in linear logic it depends on an internal state of a dynamic system.… (More)

- Viliam Slodicák, Pavol Macko, Valerie Novitzká
- CEFP
- 2011

- Viliam Slodicák
- 2008 6th International Symposium on Applied…
- 2008

In the contribution presented we deal with one method of stochastic programming - probabilistic programming. Probabilistic programming is a method of stochastic programming in which the probabilities of the values of the variables are of interest. Our approach is that scientific problem solving we can construct in logical reasoning over some mathematical… (More)

Linear logic provides a logical perspective on computational issues such as control of resources and order of evaluation. The most important feature of linear logic is that formulae are considered as actions. While classical logic treats the sentences that are always true or false, in linear logic it depends on an internal state of a dynamic system.… (More)

Solving the problems by computers we always start with formulation of their theoretical foundations. We use necessary mathematical theories and reason in them to obtain expected results. In this contribution we assume a theoretical description of programming process as logical reasoning over axiomatized theories. We consider intuitionistic logical reasoning… (More)

- Stefan Korecko, Ján Marcincin, Viliam Slodicák
- Petri Nets
- 2012