Triangulating context lemmas

INIS

• approximations 100%
• reduction 100%
• inclusions 50%
• values 50%
• variations 50%
• range 50%
• evaluation 50%
• construction 50%
• calculi 50%
• coverings 50%
• inspection 50%
• stacks 50%
• machinery 50%

Computer Science

• Observational Equivalence 100%
• Logical Relation 100%
• Approximation (Algorithm) 100%
• Programming Language Feature 50%
• Call by Value 50%
• Multiple Language 50%
• Computing Machinery 50%
• Reduction Sequence 50%
• lambda-calculus 50%
• Bound Variable 50%