An Introduction to Functional Programming Through Lambda Calculus 英文版 200页

Advanced.CalculusBuck.R..C.,.Buck.E..F..-.Advanced.Calculus,.3ed,.Mcgraw-

随机微积分处理函数相对于随机性的变化率。 它已应用于金融数学领域。 当我们看股票价格的图表时，有很多不规则的价格波动。 模拟小波动的主要工具是布朗运动。 本文将主要介绍布朗运动的概念、随机游走的概念，以及随机微积分的主要风味，伊藤微积分。 我还将讨论各种应用，尤其是在金融领域。

The Pi-Calculus：A Theory of Mobile Processes

mit18.01 Single Variable Calculus 单变量微积分 上课讲义，作业，考试及答案

Calculus, Vol. 1 One-Variable Calculus, with an Introduction to to Linear Algebra by Tom M. Apostol

Thomas' Calculus 13th Edition

by Steven Shreve 通俗易懂的教材，适合金融数学，金融工程入门者学习。

SUMS05 Vector Calculus, Paul C. Matthews (1998) .zip SUMS05 Vector Calculus, Paul C. Matthews (1998) .zip

Roger Hindley写的lambda演算经典书籍 Combinatory logic and lambda-calculus, originally devised in the 1920s, have since developed into linguistic tools, especially useful in programming languages. The authors' previous book served as the main reference for introductory courses on lambda-calculus for over 20 years: this version, first published in 2008, is thoroughly revised and offers an account of the subject with the same authoritative exposition. The grammar and basic properties of both combinatory logic and lambda-calculus are discussed, followed by an introduction to type-theory. Typed and untyped versions of the systems, and their differences, are covered. Lambda-calculus models, which lie behind much of the semantics of programming languages, are also explained in depth. The treatment is as non-technical as possible, with the main ideas emphasized and illustrated by examples. Many exercises are included, from routine to advanced, with solutions to most at the end of the book.