The typed [lambda]-calculus is not elementary recursive

Statman, Richard

The typed [lambda]-calculus is not elementary recursive

dc.contributor.author	Statman, Richard	en_US
dc.date.accessioned	2006-04-07T17:33:54Z
dc.date.available	2006-04-07T17:33:54Z
dc.date.issued	1979-07	en_US
dc.identifier.citation	Statman, Richard (1979/07)."The typed [lambda]-calculus is not elementary recursive." Theoretical Computer Science 9(1): 73-81. <http://hdl.handle.net/2027.42/23535>	en_US
dc.identifier.uri	http://www.sciencedirect.com/science/article/B6V1G-45FC46N-47/2/fa4feaa605aa92e559fbc6b53f37adfc	en_US
dc.identifier.uri	https://hdl.handle.net/2027.42/23535
dc.description.abstract	We prove that the problem of deciding for closed terms t1, t2 of the typed [lambda]-calculus whether t1 [beta]-converts to t2 is not elementary recursive.	en_US
dc.format.extent	1005958 bytes
dc.format.extent	3118 bytes
dc.format.mimetype	application/pdf
dc.format.mimetype	text/plain
dc.language.iso	en_US
dc.publisher	Elsevier	en_US
dc.title	The typed [lambda]-calculus is not elementary recursive	en_US
dc.type	Article	en_US
dc.rights.robots	IndexNoFollow	en_US
dc.subject.hlbsecondlevel	Mathematics	en_US
dc.subject.hlbtoplevel	Science	en_US
dc.description.peerreviewed	Peer Reviewed	en_US
dc.contributor.affiliationum	Department of Philosophy, The University of Michigan, Ann Arbor, MI 48109, U.S.A.	en_US
dc.description.bitstreamurl	http://deepblue.lib.umich.edu/bitstream/2027.42/23535/1/0000494.pdf	en_US
dc.identifier.doi	http://dx.doi.org/10.1016/0304-3975(79)90007-0	en_US
dc.identifier.source	Theoretical Computer Science	en_US
dc.owningcollname	Interdisciplinary and Peer-Reviewed

Files in this item

Name:: 0000494.pdf
Size:: 982.3KB
Format:: PDF

View/Open

Interdisciplinary and Peer-Reviewed

Show simple item record

Remediation of Harmful Language

The University of Michigan Library aims to describe library materials in a way that respects the people and communities who create, use, and are represented in our collections. Report harmful or offensive language in catalog records, finding aids, or elsewhere in our collections anonymously through our metadata feedback form. More information at Remediation of Harmful Language.

Accessibility

If you are unable to use this file in its current format, please select the Contact Us link and we can modify it to make it more accessible to you.