CitedEvidence
Pricing
Deep Research and Reading
My Library
AI Everything Writer
Updated
Proposal & Literature Studio
Systematic Review
Updated: 03/05/2026
Manuscript Reviewer
Updated
Thesis to Manuscript
New
PhD Corner
New
Smart AI Data Analysis
Updated: 11/05/2026
Articles & Journals Search
Data Collection Tools
Beta
Research Notes
Chat with PDF
Research PDF Tools
Beta
Citation Generator
AI Thesis
AI Humanizer
AI Detector
Paraphraser
Research Agents
Team Manager
View Subscription
User Settings
Color Theme
Home
/
Papers
/
A survey of some syntactic results in the λ-calculus
Book Chapter
10.1007/3-540-09526-8_56
A survey of some syntactic results in the λ-calculus
Gérard Berry
,
Jean-Jacques Lévy
-
1979-01-01
-
Lecture notes in computer science
1
Chat with Paper
Explain Abstract of this paper
Conclusions from the paper
Results of this paper
Show more ∨
AI Agents for this Paper
Find similar papers on Google Scholar, PubMed and Arxiv
Write a critical review of this paper
Analyze citations of this paper to find unaddressed research gaps
Show more ∨
Abstract
References (12)
Cited By (1)
No abstract available for this paper.
Keywords
Computer science
Calculus (dental)
Programming language
Pi calculus
Chat
Click to start Chat
Explain Abstract
Conclusions
Limitations
Future works
Results
Methods used
Hide
Add to Reference Manager
0
Research Notes
Support