About the range property for H

DOI10.2168/LMCS-10(1:3)2014zbMath1315.03024arXiv1311.0363OpenAlexW2076022193MaRDI QIDQ2871228

René David, Karim Nour

Publication date: 22 January 2014

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

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

zbMATH Keywords

lambda calculuspersistence propertyrange propertytheory \(\mathcal H\)

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Combinatory logic and lambda calculus (03B40)

This page was built for publication: About the range property for H