Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
Gamma-star Reduction in the Type-theory of Acyclic Algorithms
Stockholm University, Faculty of Science, Department of Mathematics.ORCID iD: 0000-0001-9678-955X
2018 (English)In: Proceedings of the 10th International Conference on Agents and Artificial Intelligence (ICAART 2018) / [ed] Ana Paula Rocha, Jaap van den Herik, SciTePress, 2018, Vol. 2, p. 231-242Conference paper, Published paper (Refereed)
Abstract [en]

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.

Place, publisher, year, edition, pages
SciTePress, 2018. Vol. 2, p. 231-242
Keywords [en]
Mathematics Of Algorithms, Recursion, Types, Semantics, Algorithmic Semantics, Denotation, Canonical Computations
National Category
Language Technology (Computational Linguistics) Computer Sciences Algebra and Logic
Research subject
Mathematical Logic
Identifiers
URN: urn:nbn:se:su:diva-161666DOI: 10.5220/0006662802310242ISBN: 978-989-758-275-2 (print)OAI: oai:DiVA.org:su-161666DiVA, id: diva2:1260620
Conference
10th International Conference on Agents and Artificial Intelligence (ICAART 2018), Madeira, Portugal, January 16-18, 2018
Available from: 2018-11-04 Created: 2018-11-04 Last updated: 2018-11-05Bibliographically approved

Open Access in DiVA

No full text in DiVA

Other links

Publisher's full text

Search in DiVA

By author/editor
Loukanova, Roussanka
By organisation
Department of Mathematics
Language Technology (Computational Linguistics)Computer SciencesAlgebra and Logic

Search outside of DiVA

GoogleGoogle Scholar

doi
isbn
urn-nbn

Altmetric score

doi
isbn
urn-nbn
Total: 84 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf