Discriminating Lambda-Terms Using Clocked Boehm Trees

DOI10.2168/LMCS-10(2:4)2014zbMath1315.03025arXiv1212.0401OpenAlexW1990388677MaRDI QIDQ5419488

Jan Willem Klop, Andrew Polonsky, Dimitri Hendriks, Jörg Endrullis

Publication date: 10 June 2014

Published in: Logical Methods in Computer Science (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1212.0401

zbMATH Keywords

Böhm trees\(\lambda \)-calculusfixed-point combinators\(\beta \)-inconvertibility

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40)

Related Items (3)

Unnamed Item ⋮ Clocks for Functional Programs ⋮ Clocked lambda calculus

Uses Software

• Automath

This page was built for publication: Discriminating Lambda-Terms Using Clocked Boehm Trees