Multimodal hyperdoctrines

dc.book.title	La simulación en ingeniería, transcendiendo fronteras	es
dc.career	Escuela de Ingeniería en Sistemas	es
dc.category.author	principal	en_US
dc.contributor.author	Díaz Boils, Joaquín
dc.contributor.editor	PUCE Sede Esmeraldas
dc.country	Ecuador	es
dc.date.accessioned	2023-11-04T21:15:41Z
dc.date.available	2023-11-04T21:15:41Z
dc.date.issued	2018-01
dc.dedication.author	TC	es
dc.description.abstract	This paper treats type systems addressed to the semantics of recursive function classes closed under the known as safe recursion scheme. The strategy has been the introduction of an extension of former developments made for two sorts of variables which have no counterpart in the above-mentioned type systems. Since these typings make use of modal operators to perform safety, we need a suitable interpretation of multimodal systems. The main goal has been achieved through the introduction of Multimodal Hyperdoctrines whose models, obtained through categorical interpretations of Boolean Algebras with Operators, should give an account of those semantics for recursion.	en_US
dc.description.pages	5-11
dc.faculty	Ingeniería	es
dc.id.author	1756629828
dc.id.type	1
dc.identifier.isbn	9789942990266
dc.identifier.uri	https://repositorio.puce.edu.ec/handle/123456789/3797
dc.language.iso	es
dc.list.authors	Díaz, J.
dc.rights	OpenAccess	en
dc.subject	Álgebra de Boole	es
dc.subject	Lógica algebraica	es
dc.subject	Álgebra de Boole
dc.subject	Lógica algebraica
dc.title	Multimodal hyperdoctrines	es

Now showing 1 - 1 of 1