scientific article; zbMATH DE number 2090071

zbMath1169.03329MaRDI QIDQ4808745

Fer-Jan de Vries, Paula G.Severi

Publication date: 12 August 2004

Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2378/23780159.htm

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

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40)

Related Items

Highlights in infinitary rewriting and lambda calculus, Substitution in non-wellfounded syntax with variable binding, Infinitary combinatory reduction systems, On modularity in infinitary term rewriting, Unnamed Item, Unnamed Item, Unnamed Item, The infinitary lambda calculus of the infinite eta Böhm trees