Abstract | ||
---|---|---|
The notion of a meaningless set has been defined for infinitary lambda calculus axiomatically. Standard examples of such sets are sets of terms that have no head normal form, the set of terms without weak head normal form and the set of rootactive terms. In this paper, we study the way the intervals decompose as union of more elementary ones. We also analyse the distribution of the sets of meaningless terms in the lattice by selecting some sets as key vertices and study the cardinality in the intervals between key vertices. As an application, we prove that the lattice of meaningless sets is neither distributive nor modular. Interestingly, the example translates into a simple counterexample that the lattice of lambda theories is not modular. |
Year | DOI | Venue |
---|---|---|
2011 | 10.1007/978-3-642-20920-8_22 | WoLLIC |
Keywords | Field | DocType |
lambda theory,rootactive term,example translates,normal form,infinitary lambda calculus,weak head,key vertex,intervals decompose,head normal form,meaningless term,meaningless set,lambda calculus | Discrete mathematics,Distributive property,Combinatorics,Lambda calculus,Vertex (geometry),Lattice (order),Cardinality,Algorithm,Church encoding,Complete lattice,Counterexample,Mathematics | Conference |
Volume | ISSN | Citations |
6642 | 0302-9743 | 1 |
PageRank | References | Authors |
0.35 | 12 | 2 |
Name | Order | Citations | PageRank |
---|---|---|---|
Paula Severi | 1 | 122 | 16.19 |
Fer-Jan de Vries | 2 | 244 | 21.67 |