scientific article

DOI10.4230/LIPICS.TYPES.2011.16zbMath1354.03008MaRDI QIDQ2957694

Andrew Polonsky, Jörg Endrullis

Publication date: 27 January 2017

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

zbMATH Keywords

lambda calculuscoinductionstandardizationinfinitary rewriting

Mathematics Subject Classification ID

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

Related Items (8)

Unnamed Item ⋮ Unnamed Item ⋮ Transducer degrees: atoms, infima and suprema ⋮ Unnamed Item ⋮ Finitary Simulation of Infinitary $\beta$-Reduction via Taylor Expansion, and Applications ⋮ Clocks for Functional Programs ⋮ Unnamed Item ⋮ Unnamed Item

Uses Software

• Coq

This page was built for publication: