A data structure formalization through generating function

DOI10.1007/BF02575637zbMath0282.68012OpenAlexW2071823679WikidataQ126270977 ScholiaQ126270977MaRDI QIDQ1844073

Corrado Böhm, Mariangiola Dezani-Ciancaglini

Publication date: 1974

Published in: Calcolo (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf02575637

Mathematics Subject Classification ID

Exact enumeration problems, generating functions (05A15) General topics in the theory of software (68N01)

Related Items

Calculi, types and applications: essays in honour of M. Coppo, M. Dezani-Ciancaglini and S. Ronchi della Rocca

Cites Work

• Recursive functions of symbolic expressions and their computation by machine, Part I
• Combinatory Programming and Combinatorial Analysis
• Semantics of context-free languages
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item