loading
Papers

Research.Publish.Connect.

Paper

Author: Roussanka Loukanova

Affiliation: Stockholm University, Sweden

ISBN: 978-989-758-275-2

Keyword(s): Mathematics Of Algorithms, Recursion, Types, Semantics, Algorithmic Semantics, Denotation, Canonical Computations.

Related Ontology Subjects/Areas/Topics: Agent Communication Languages ; Agents ; Applications ; Artificial Intelligence ; Cognitive Systems ; Computational Intelligence ; Enterprise Information Systems ; Evolutionary Computing ; Human-Computer Interaction ; Intelligent User Interfaces ; Knowledge Engineering and Ontology Development ; Knowledge Representation and Reasoning ; Knowledge-Based Systems ; Natural Language Processing ; Pattern Recognition ; Soft Computing ; Symbolic Systems

Abstract: The paper extends a higher-order type theory of acyclic algorithms by adding a reduction rule, which results in a stronger reduction calculus. The new reduction calculus determines a strong algorithmic equivalence between formal terms. It is very useful for simplifying terms, by eliminating sub-terms having superfluous lambda abstraction and corresponding spurious functional applications.

PDF ImageFull Text

Download
CC BY-NC-ND 4.0

Sign In Guest: Register as new SciTePress user now for free.

Sign In SciTePress user: please login.

PDF ImageMy Papers

You are not signed in, therefore limits apply to your IP address 3.227.3.146

In the current month:
Recent papers: 100 available of 100 total
2+ years older papers: 200 available of 200 total

Paper citation in several formats:
Loukanova, R. (2018). Gamma-star Reduction in the Type-theory of Acyclic Algorithms.In Proceedings of the 10th International Conference on Agents and Artificial Intelligence - Volume 1: ICAART, ISBN 978-989-758-275-2, pages 231-242. DOI: 10.5220/0006662802310242

@conference{icaart18,
author={Roussanka Loukanova.},
title={Gamma-star Reduction in the Type-theory of Acyclic Algorithms},
booktitle={Proceedings of the 10th International Conference on Agents and Artificial Intelligence - Volume 1: ICAART,},
year={2018},
pages={231-242},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0006662802310242},
isbn={978-989-758-275-2},
}

TY - CONF

JO - Proceedings of the 10th International Conference on Agents and Artificial Intelligence - Volume 1: ICAART,
TI - Gamma-star Reduction in the Type-theory of Acyclic Algorithms
SN - 978-989-758-275-2
AU - Loukanova, R.
PY - 2018
SP - 231
EP - 242
DO - 10.5220/0006662802310242

Login or register to post comments.

Comments on this Paper: Be the first to review this paper.