Home//Concepts/Total function

Overviewjust now

154

2

4

1082

3

2

24

633

Dimensional inference rule formatjust now Abstract binding graphjust now Abstract binding tree abtjust now Abstract binding tree abt valence abstractorjust now Abstract data typejust now

408

11

4

Overviewjust now

154

2

4

1082

3

2

24

633

Dimensional inference rule formatjust now Abstract binding graphjust now Abstract binding tree abtjust now Abstract binding tree abt valence abstractorjust now Abstract data typejust now

408

11

4

Concept

Total function

Modified just now

Books

Chapter 2. Mathematical preliminaries

JourneyProgramming Language Theory Statusmastered Tags

set-theory-relation

A Partial function that is defined on all values of its domain.

Previous in ConceptsTop down construction Next in Concepts Trait

Books

Chapter 2. Mathematical preliminaries

JourneyProgramming Language Theory

Statusmastered

Tags

set-theory-relation