Comparing Böhm-Like Trees (Q3636829)

From MaRDI portal

Jump to:navigation, search

scientific article

Language	Label	Description	Also known as
English	Comparing Böhm-Like Trees	scientific article

Statements

scholarly article

0 references

Comparing Böhm-Like Trees (English)

0 references

0 references

Rewriting Techniques and Applications

0 references

publication date

30 June 2009

0 references

MaRDI profile type

MaRDI publication profile

0 references

full work available at URL

https://doi.org/10.1007/978-3-642-02348-4_17

0 references

Rewriting Techniques and Applications

0 references

0 references

Set-theoretical models of lambda-calculus: theories, expansions, isomorphisms

0 references

0 references

0 references

Processes, Terms and Cycles: Steps on the Road to Infinity

0 references

Term Rewriting and Applications

0 references

On Confluence of Infinitary Combinatory Reduction Systems

0 references

Combinatory reduction systems: Introduction and survey

0 references

On Normalisation of Infinitary Combinatory Reduction Systems

0 references

Infinitary lambda calculus

0 references

Identifiers

zbMATH Open document ID

0 references

10.1007/978-3-642-02348-4_17

0 references

Mathematics Subject Classification ID

0 references

0 references

zbMATH DE Number

0 references

0 references

Sitelinks

Mathematics(1 entry)

mardi Publication:3636829

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q3636829&oldid=35115226"