Near Matches
Ignore Exact
Everything
2
operational semantics
denotational semantics
semantics
Preservation Lemma
type safe
operational definition
Semantics of programming languages
Safety
Preservation
Milk
community
Log in
or
register
to write something here or to contact authors.