Home//Concepts/Structural property

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

Structural property

Modified just now

Books

Chapter 3. Hypothetical and general judgments

JourneyProgramming Language Theory Statuslearning

Previous in ConceptsStructural induction modulo fresh renaming Next in Concepts Structural recursion

Books

Chapter 3. Hypothetical and general judgments

JourneyProgramming Language Theory

Statuslearning