Paper
Actions
You must be logged in to use all features
Import a .START file
Add this to a Review
Tell someone about this
Search on Google Scholar
Download Bibtex
Download APA reference
Edit this data
Manage associations
Merge it with duplicates
Exec internal actor
Update from DOI
Add multiple references
Essays in Memory of Alonzo Church, pages 331– 342, 2001
R. Loader. The undecidability of lambda definability. Logic, Meaning and Computation: Essays in Memory of Alonzo Church, pages 331– 342, 2001.
2001
Simplified Graph of Associations
SHOW IT!!! (may be slow...)
How to use it
Use default pruning algorithm
Use alternative pruning algorithm
Generate image with complete graph
Show Graph Info
Download graph data for viewer
Get URL to embbed it anywhere
Word Cloud
Get URL to embbed it anywhere
Search topics on Google Scholar
Research Paradigm
Add/Edit Research Paradigms
Authors
View detailed list
Add an Author
Get URL to embbed this list anywhere
2
undecidability The RLoader
Meaning Logic definability
Referenced By
View detailed list
Add a Citer
Get URL to embbed this list anywhere
2
Intersection type calculi of bounded dimension
Intersection type calculi of bounded dimension
Toggle navigation
Login / Register
Help
×
Your opinion
Is it representative of "Essays in Memory of Alonzo Church, pages 331– 342, 2001"?
It does not represent at all.
Poorly representative, misses some key aspects.
Representative, but misses secondary aspects.
Representative, capaturing important aspects.
Very representative.
Does it provide additional information for your research?
Totally disagree.
Partially disagree.
Neutral.
Partially agree.
Totally agree.
How does this feature contributes to your overall usage of this system?
I use the system despite of this feature
Sometimes it is annoying
Neutral
Sometimes it is useful
I use the system because of this feature
Please provide any other comment or suggestion:
Your email (optional):
close
Submit
×
Let other people know about this data
Paper :
Essays in Memory of Alonzo Church, pages 331– 342, 2001
Send a link to this page to:
Send to yourself
Aditional email(s):
Custom message:
close
Send a message
×
Add to a Bibliographic Set
Essays in Memory of Alonzo Church, pages 331– 342, 2001
Reviews owned by user
close
×
Why help?
If you for we can improve the data describing it. In turn, this can help you and other users to improve bibliographical sets and reviews, based on new data we retrieve after your contribution.
close
×
Graph Info
close
×
Information
close
×
Run Internal Actor
close
×
Scientific Paradigms
Select one or more research facets assignable to this publication:
Positivism
Post-Positivism
Critical-Ideological
Constructivism-Interpretativism
Other:
Save
close
×
Add association
First, try and find an existing:
Name
Search
Create a new
close