The fixed point property and a technique to harness double fixed point combinators

DOI10.1093/logcom/exz013zbMath1444.03019OpenAlexW2960827503WikidataQ127965786 ScholiaQ127965786MaRDI QIDQ5213397

Alexis Saurin, Andrew Polonsky, Jakob Grue Simonsen, Giulio Manzonetto

Publication date: 3 February 2020

Published in: Journal of Logic and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1093/logcom/exz013

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40)

Related Items (2)

Unnamed Item ⋮ Unnamed Item

This page was built for publication: The fixed point property and a technique to harness double fixed point combinators