scientific article; zbMATH DE number 7215287

MaRDI QIDQ5114826

Mirai Ikebuchi, Keisuke Nakano

Publication date: 26 June 2020

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

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

Mathematics Subject Classification ID

Logic in computer science (03B70) Computer science (68-XX)

Related Items (1)

Unnamed Item

Cites Work

• The lambda calculus. Its syntax and semantics. Rev. ed.
• The word problem for Smullyan's lark combinator is decidable
• Abstraction problems in combinatory logic: A compositive approach
• The combinator S
• An improved Monte Carlo factorization algorithm
• THEORETICAL PEARLS
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: