Concept

Logic for Computable Functions

Overview

1973 formalism by Robin Milner

Overview adapted from Wikipedia (CC BY-SA 4.0; see the article history for authors).

Related ideas

• Proof assistant
• Dana Scott
• University of Edinburgh
• Rule of inference
• Stanford University
• ML (programming language)

Place in the tradition

Part of Type theory.

Explore Logic for Computable Functions in the interactive graph →