OpenAlex
The Intensional Lambda Calculus
Work
Year: 2007
Type: book-chapter
Source: Lecture notes in computer science
Authors Sergei Artëmov, Eduardo Bonelli
Institutions The Graduate Center, CUNY, Consejo Nacional de Investigaciones Científicas y Técnicas
Cites: 21
Cited by: 22
Related to: 10
FWCI: 1.033
Citation percentile (by year/subfield): 84.83
Topic: Logic, programming, and type systems
Subfield: Artificial Intelligence
Field: Computer Science
Domain: Physical Sciences
Sustainable Development Goal Quality education
Open Access status: closed