No solvable lambda-value term left behind

DOI10.2168/LMCS-12(2:12)2016zbMath1448.68209arXiv1604.08383OpenAlexW2473749697MaRDI QIDQ5739897

Álvaro García-Pérez, Pablo Nogueira

Publication date: 6 July 2016

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

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

zbMATH Keywords

solvabilityconsistent lambda-theorieseffective uselambda-value calculusoperational relevance

Mathematics Subject Classification ID

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

Related Items (1)

Unnamed Item

This page was built for publication: No solvable lambda-value term left behind