scientific article; zbMATH DE number 7524074

From MaRDI portal

Revision as of 12:08, 8 February 2024 by Import240129110113 (talk | contribs) (Created automatically from import240129110113)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Publication:5074776

Jump to:navigation, search

MaRDI QIDQ5074776

Isabella Larcher, Katarzyna Grygiel

Publication date: 10 May 2022

Full work available at URL: https://dmtcs.episciences.org/7135

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

singularity analysis lambda terms with restrictions profile of lambda terms

Mathematics Subject Classification ID

Trees (05C05) Coloring of graphs and hypergraphs (05C15) Combinatory logic and lambda calculus (03B40)

This page was built for publication:

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:5074776&oldid=19569993"