OpenAlex
TheλμT-calculus
Work
Year: 2012
Type: article
Source: Annals of Pure and Applied Logic
Authors Herman Geuvers, Robbert Krebbers, James McKinna
Institutions Radboud University Nijmegen, Eindhoven University of Technology
Cites: 37
Cited by: 4
Related to: 10
FWCI: 1.083
Citation percentile (by year/subfield): 76.38
Topic: Logic, programming, and type systems
Subfield: Artificial Intelligence
Field: Computer Science
Domain: Physical Sciences
Open Access status: green