scientific article; zbMATH DE number 7359414

DOI10.4230/LIPIcs.FSCD.2018.18zbMath1462.03011arXiv1703.10938MaRDI QIDQ4993347

Keisuke Nakano, Mirai Ikebuchi

Publication date: 15 June 2021

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

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

lambda calculuscombinatory logic\(B\) combinator

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40)

Cites Work

• The lambda calculus. Its syntax and semantics. Rev. ed.
• The word problem for Smullyan's lark combinator is decidable
• Principal types of BCK-lambda-terms
• An improved Monte Carlo factorization algorithm
• THEORETICAL PEARLS
• Unnamed Item

This page was built for publication: