- Tytuł:
- Linear logic in computer science
- Autorzy:
-
Steingartner, W.
Poláková, A.
Prazňák, P.
Novitzká, V. - Powiązania:
- https://bibliotekanauki.pl/articles/122583.pdf
- Data publikacji:
- 2015
- Wydawca:
- Politechnika Częstochowska. Wydawnictwo Politechniki Częstochowskiej
- Tematy:
-
linear logic
resources
proofs - Opis:
- Linear logic has many properties that make it suitable for application in various areas of computer science. It is able to describe dynamic processes, non-determinism, parallelism on syntactic level. In our paper we try to discuss resource oriented character of linear logic, its possibility to deal with such important resources for computer science as space (memory) and time. Handling with resources takes place in deduction system of linear logic. We show how special form of proofs, called designs, is constructed and we show the relationship between space and time in designs.
- Źródło:
-
Journal of Applied Mathematics and Computational Mechanics; 2015, 14, 1; 91-100
2299-9965 - Pojawia się w:
- Journal of Applied Mathematics and Computational Mechanics
- Dostawca treści:
- Biblioteka Nauki
Artykuł