scientific article; zbMATH DE number 6816935
From MaRDI portal
Publication:4596793
DOI10.23638/LMCS-13(4:19)2017zbMath1461.03017arXiv1711.05497MaRDI QIDQ4596793
Bas Westerbaan, Bram Westerbaan, Rutger Kuyper, Carst Tankink, Remy Viehoff, Hendrik Pieter Barendregt
Publication date: 11 December 2017
Full work available at URL: https://arxiv.org/abs/1711.05497
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Other degrees and reducibilities in computability and recursion theory (03D30) Combinatory logic and lambda calculus (03B40)