Concept

Normal form (abstract rewriting)

Overview

an object that cannot be rewritten further

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

Related ideas

• Cambridge University Press
• Jean-Yves Girard

Place in the tradition

Part of Type theory.

Explore Normal form (abstract rewriting) in the interactive graph →