scientific article; zbMATH DE number 6792365

DOI10.4230/LIPIcs.FSCD.2016.32zbMath1387.68151MaRDI QIDQ5369497

Vincent van Oostrom, Yoshihito Toyama

Publication date: 17 October 2017

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

zbMATH Keywords

strategycommutationrandom descenthyper-normalisation

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Combinatory logic and lambda calculus (03B40)

Related Items

Unnamed Item, Unnamed Item