Original scientific paper

The rôle of linear logic in coalgebraical approach of computing

Viliam Slodičák orcid.org/0000-0002-2852-9403 ; Department of Computers and Informatics, Faculty of Electrical Engineering and Informatics, Technical university of Košice, Košice, Slovak Republic
Pavol Macko ; Department of Computers and Informatics, Faculty of Electrical Engineering and Informatics, Technical university of Košice, Košice, Slovak Republic

Abstract

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. Curry-Howard correspondence is a correspondence between logic and computing in informatics. In this contribution we present two ways of computations which correctness we prove by Curry-Howard correspondence. We show a standard way and a new way of computing based on hylomorphism by using coalgebras which is an alternative method. Our method of recursive and corecursive computations we apply in simple authentication system.

Keywords

anamorphism; catamorphism; hylomorphism; linear logic; Curry-Howard correspondence; authentication system

Hrčak ID:

75206

URI

https://hrcak.srce.hr/75206

Publication date:

14.12.2011.

Visits: 1.009 *