# nLab programming language

Contents

### Context

#### Constructivism, Realizability, Computability

intuitionistic mathematics

category theory

# Contents

## Idea

A formal language (theory) for expressing programs. Used and studied in computer science.

## References

Last revised on May 11, 2014 at 09:31:55. See the history of this page for a list of all contributions to it.