MaRDI QIDQ5074776
Isabella Larcher, Katarzyna Grygiel
Publication date: 10 May 2022
Full work available at URL: https://dmtcs.episciences.org/7135
zbMATH Keywords
singularity analysislambda terms with restrictionsprofile of lambda terms
Mathematics Subject Classification ID
Trees (05C05) Coloring of graphs and hypergraphs (05C15) Combinatory logic and lambda calculus (03B40)