(Q105696210)
Statements
1 reference
MFPS (English)
1 reference
Mathematical Foundations of Programming Semantics (English)
1 reference
1 reference
1 reference
1 reference
1 reference
1 reference
1 reference
1 reference
1 reference
1 reference
1 reference
Identifiers
1 reference