information about Lambda calculus field

Field Hierarchy
Parent
Computer science
54.8M papers
Mathematics
21.1M papers
Current
Lambda calculus
2,080 papers
Child
Dependent type
647 papers
Church encoding
482 papers
System F
453 papers
Trends