Explores tangent planes and differentiability in advanced analysis, emphasizing the properties of tangent planes and the conditions for differentiability.
Explores the representation and transformation of values, focusing on closure conversion and the challenges of representing functions in functional languages.