scientific article; zbMATH DE number 6027846

DOI10.4230/LIPIcs.RTA.2011.313zbMath1236.68149MaRDI QIDQ5389089

Fer-Jan de Vries, Paula G.Severi

Publication date: 24 April 2012

Full work available at URL: http://subs.emis.de/LIPIcs/frontdoor_1a5c.html

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

zbMATH Keywords

normalizationconfluenceinfinitary lambda calculus

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42) Combinatory logic and lambda calculus (03B40)

Related Items (6)

Graph easy sets of mute lambda terms ⋮ Unnamed Item ⋮ Highlights in infinitary rewriting and lambda calculus ⋮ Unnamed Item ⋮ Encoding many-valued logic in $\lambda$-calculus ⋮ The infinitary lambda calculus of the infinite eta Böhm trees

This page was built for publication: