Publication:2963900

DOI10.4230/LIPIcs.FSTTCS.2013.91zbMath1359.68043MaRDI QIDQ2963900

Pierre Clairambault, Andrzej S. Murawski

Publication date: 21 February 2017

zbMATH Keywords

Böhm trees; lambda-calculus; recursion schemes

Mathematics Subject Classification ID

68N18: Functional programming and lambda calculus

68Q60: Specification and verification (program logics, model checking, etc.)

03B40: Combinatory logic and lambda calculus

Related Items

A characterization of lambda-terms transforming numerals