scrambled
Home//Concepts/Involutive
scrambled
Overviewjust now
154
2
4
1082
3
2
24
633
Dimensional inference rule formatjust nowAbstract binding graphjust nowAbstract binding tree abtjust nowAbstract binding tree abt valence abstractorjust nowAbstract data typejust now
408
11
4
Overviewjust now
154
2
4
1082
3
2
24
633
Dimensional inference rule formatjust nowAbstract binding graphjust nowAbstract binding tree abtjust nowAbstract binding tree abt valence abstractorjust nowAbstract data typejust now
408
11
4
Concept

Involutive

Modified just now
Books
  • Chapter 1. Basics - functional programming in rocq
JourneyProgramming Language Theory Statusreviewing Tags
  • set-theory-relation

A property of a function where applying it twice returns the original value (i.e., f(f(x)) = x).

A property of a function where applying it twice returns the original value (i.e., f(f(x)) = x).

Previous in ConceptsInvolutionNext in Concepts Iterated inductive definition
Books
  • Chapter 1. Basics - functional programming in rocq
JourneyProgramming Language Theory
Statusreviewing
Tags
  • set-theory-relation