Tag

Semantics

2 posts

• Operational Semantics: Adding Variables, Functions and Conditionals , Feb 14, 2025
• Operational Semantics: A Formal Approach to Arithmetic Expressions , Feb 13, 2025

← All tags