pure functional calculus
1Functional programming — In computer science, functional programming is a programming paradigm that treats computation as the evaluation of mathematical functions and avoids state and mutable data. It emphasizes the application of functions, in contrast with the… …
2Pure mathematics — Broadly speaking, pure mathematics is mathematics motivated entirely for reasons other than application. It is distinguished by its rigour, abstraction and beauty. From the eighteenth century onwards, this was a recognized category of… …
3Pure function — In computer programming, a function may be described as pure if both these statements about the function hold: # The function always evaluates the same result value given the same argument value(s). The function result value cannot depend on any… …
4Functional integration — You may also be looking for functional integration (neurobiology) or functional integration (sociology). Functional integration is a collection of results in mathematics and physics where the domain of an integral is no longer a region of space,… …
5Decomposition of spectrum (functional analysis) — In mathematics, especially functional analysis, the spectrum of an operator generalizes the notion of eigenvalues. Given an operator, it is sometimes useful to break up the spectrum into various parts. This article discusses a few examples of… …
6Typed lambda calculus — A typed lambda calculus is a typed formalism that uses the lambda symbol (lambda) to denote anonymous function abstraction. Typed lambda calculi are foundational programming languages and are the base of typed functional programming languages… …
7List of functional analysis topics — This is a list of functional analysis topics, by Wikipedia page. Contents 1 Hilbert space 2 Functional analysis, classic results 3 Operator theory 4 Banach space examples …
8Lambda calculus — In mathematical logic and computer science, lambda calculus, also written as λ calculus, is a formal system designed to investigate function definition, function application and recursion. It was introduced by Alonzo Church and Stephen Cole… …
9List of functional programming topics — This is a list of functional programming topics. Contents 1 Foundational concepts 2 Lambda calculus 3 Combinatory logic 4 Intuitionistic logic …
10Normalization property (lambda-calculus) — In mathematical logic and theoretical computer science, a rewrite system has the strong normalization property (in short: the normalization property) if every term is strongly normalizing ; that is, if every sequence of rewrites eventually… …
