Mockingbird lattices

arXiv2204.02616MaRDI QIDQ6103794

Samuele Giraudo

Publication date: 5 June 2023

Published in: Séminaire Lotharingien de Combinatoire (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/2204.02616

zbMATH Keywords

latticesrewrite systemsformal power seriespartial orderscombinatory logictreelike structures

Mathematics Subject Classification ID

Combinatorics (05-XX) Order, lattices, ordered algebraic structures (06-XX)

Related Items (1)

The combinator M and the Mockingbird lattice

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• The word problem for Smullyan's lark combinator is decidable
• How to decide the lark
• The combinator S
• Tree series and pattern avoidance in syntax trees
• How to normalize the Jay

This page was built for publication: Mockingbird lattices