Poly-infix operators and operator families

Poly-infix operators and operator families are introduced as an alternative for working modulo associativity and the corresponding bracket deletion convention. Poly-infix operators represent the basic intuition of repetitively connecting an ordered sequence of entities with the same connecting primi...

Full description

Saved in:
Bibliographic Details
Main Authors Bergstra, Jan A, Ponse, Alban
Format Journal Article
LanguageEnglish
Published 05.05.2015
Subjects
Mathematics - History and Overview
Online AccessGet full text

Cover

More Information
Summary:Poly-infix operators and operator families are introduced as an alternative for working modulo associativity and the corresponding bracket deletion convention. Poly-infix operators represent the basic intuition of repetitively connecting an ordered sequence of entities with the same connecting primitive.
DOI:10.48550/arxiv.1505.01087