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 (8)

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

This page was built for publication: