A global representation of the recursive functions in the \(\lambda\)- calculus
type: Item
instance of: scholarly article
title: A global representation of the recursive functions in the \(\lambda\)- calculus
zbMATH Open document ID: 0375.02013
DOI: 10.1016/0304-3975(76)90025-6
published in: Theoretical Computer Science
publication date: 1977-01-01T00:00:00Z
Mathematics Subject Classification ID: 03B40
Mathematics Subject Classification ID: 03D20
zbMATH DE Number: 3583776
author: Henk Barendregt
MaRDI profile type: Publication
full work available at URL: 0304-3975(76)90025-6
OpenAlex ID: W1978044249
cites work: Q5181345
cites work: Combinatory logic and the ω-rule
cites work: A set of postulates for the foundation of logic. II
cites work: Q5565113
cites work: Q5686017
cites work: \(\lambda\)-definability and recursiveness
cites work: Q5649639
cites work: Q4083398
cites work: Metamathematical investigation of intuitionistic arithmetic and analysis. With contributions by C. A. Smorynski, J. I. Zucker and W. A. Howard
cites work: Computability and λ-definability
description: scientific article; zbMATH DE number 3583776