scientific article; zbMATH DE number 1332646
From MaRDI portal
Publication:4259973
zbMath0924.68107MaRDI QIDQ4259973
Vincent van Oostrom, Fer-Jan de Vries, Richard Kennaway
Publication date: 9 September 1999
Full work available at URL: http://danae.uni-muenster.de/lehre/kuchen/JFLP/articles/1999/A99-01/A99-01.html
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
Infinitary lambda calculus and discrimination of Berarducci trees., Infinitary rewriting: closure operators, equivalences and models, Unnamed Item, On confluence and residuals in Cauchy convergent transfinite rewriting, Proving termination of context-sensitive rewriting by transformation, Highlights in infinitary rewriting and lambda calculus, Unnamed Item, Unnamed Item, Counterexamples in infinitary rewriting with non-fully-extended rules, On Normalisation of Infinitary Combinatory Reduction Systems, From Böhm's Theorem to Observational Equivalences, On equal \(\mu \)-terms, Infinitary combinatory reduction systems, On modularity in infinitary term rewriting, Intersection types for \(\lambda\)-trees, Unnamed Item, Comparing Böhm-Like Trees, Böhm Reduction in Infinitary Term Graph Rewriting Systems, Encoding many-valued logic in $\lambda$-calculus, Descendants and origins in term rewriting., The infinitary lambda calculus of the infinite eta Böhm trees
