idea of differential form has interesting connection with lambda expression’s abstraction and application.

This video does a nice job defining differnetial form in concepts that are also in Lambda Calculus.

Introduction to Differential Form