Home//Concepts/Rule schema

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

Rule schema

Modified just now

Books

Chapter 3. Untyped arithmetic expressions

JourneyProgramming Language Theory Statusreviewing Tags

logic

An parameterized inference rules with Metavariables that can be instantiated to Concrete rules or Inference rules.

Previous in ConceptsRule induction Next in Concepts Rule schema inference rule concrete rule instance of an

Books

Chapter 3. Untyped arithmetic expressions

JourneyProgramming Language Theory

Statusreviewing

Tags

logic