Pojedinosti o zapisu

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

Journal of Information and Organizational Sciences

Vidi informacije o repozitoriju  Pogledaj original
 
Polje Vrijednost
 
Naslov The rôle of linear logic in coalgebraical approach of computing
 
Autor Slodičák, Viliam; Department of Computers and Informatics
Faculty of Electrical Engineering and Informatics
Technical University of Košice
Macko, Pavol; Department of Computers and Informatics
Faculty of Electrical Engineering and Informatics
Technical university of Košice
 
Tema anamorphism; catamorphism; hylomorphism; linear logic; Curry-Howard correspondence; authentication system
 
Opis 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 areconsidered 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.
 
Izdavač University o Zagreb, Faculty of Organization and Informatics, Varaždin
 
Suradnik VEGA Grant No.1/0015/10: Principles and methods of semantic enrichment and adaptation of knowledge-based languages for automatic software development.
 
Datum 2011-12-19
 
Vrsta resursa info:eu-repo/semantics/article
Peer-reviewed Article
info:eu-repo/semantics/publishedVersion
 
Format (na primjer PDF) application/pdf
 
Identifikator http://jios.foi.hr/index.php/jios/article/view/208
 
Izvor Journal of Information and Organizational Sciences; Vol 35, No 2 (2011)
 
Jezik eng
 
Relacija http://jios.foi.hr/index.php/jios/article/view/208/131