Home//Concepts/Derivable

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

Derivable

Modified just now

Books

Chapter 3. Untyped arithmetic expressions

JourneyProgramming Language Theory Statusmastered Tags

linguistics
logic
set-theory-relation
syntax grammar

A property of an Evaluation statement/judgement that it can be derived using the evaluation rules in the calculus.

Previous in ConceptsDerivability judgment Next in Concepts Derivable evaluation statement judgement

Books

Chapter 3. Untyped arithmetic expressions

JourneyProgramming Language Theory

Statusmastered

Tags

linguistics
logic
set-theory-relation
syntax grammar