GitHub

A Haskell compiler for the untyped lambda calculus.

There are three different kinds of terms in the untyped lambda calculus: variables, lambda abstractions, and applications. A term enclosed in parentheses is also a valid term. A statement is either a ...
Scientific Research Publishing

Ditkin, V.A. and Prudnikov, A.P. (1962) Operational Calculus in Two Variables and Its ...

ABSTRACT: In this paper, we proposed new results in quadruple Laplace transform and proved some properties concerned with quadruple Laplace transform. We also developed some applications based on ...
GitHub

alexhkurz/BlocklyLambdaCalculus

A compiler from a blockly lambda calculus to JavaScript. lc-with-arithmetic is the basic version and consists of the (pure, untyped) lambda calculus plus some arithmetic. The compiler uses JavaScript ...
Nature

Differential Calculus with Several Variables

Von Prof. A. Ostrowski. Band 2: Differential-rechnung auf dem Gebiete mehrerer Variablen. (Lehrbücher und Monographien aus dem Gebiete der exakten Wissenschaften: Mathematische Reihe, Band 5.) Pp. 482 ...