contextual / structural dynamics vs operational semantics?

14 views
Skip to first unread message

Craig Stuntz

unread,
Jan 12, 2016, 12:23:50 PM1/12/16
to Type Theory Study Group

Is there any difference between contextual / structural dynamics and operational semantics?

Or, put differently, what is the relationship between these?

Matt Oliveri

unread,
Jan 12, 2016, 3:22:20 PM1/12/16
to Type Theory Study Group
Contextual and structural dynamics are two (closely related) styles of operational semantics. Other styles include abstract machine models and various big step relations.
Reply all
Reply to author
Forward
0 new messages