#### Filter Results:

#### Publication Year

2006

2012

#### Publication Type

#### Co-author

#### Publication Venue

Learn More

SUMMARY 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… (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)

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)

SUMMARY In the article presented we deal with one method of stochastic programming – probabilistic programming. It is a programming in which the probabilities of the values of the variables are of interest. Our approach is that solving problem we can construct in logical reasoning over some mathematical theories. In this approach we use category theory for… (More)

- ‹
- 1
- ›