
What are types for?
Jun 26, 2017 - 31:40
Radio and PodcastLive Radio & PodcastsFetching episode details...
Radio and PodcastLive Radio & Podcasts
In this talk, Jane presents about her work on modelling dynamic behaviour of systems using quantative modelling techniques. Particular kinds of modelling diagrams are used and a mathematical approach to looking at their...
A modelling language approach to defining mathematical structures via semantics is an episode from Strachey 100: an Oxford Computing Pioneer by Oxford University. In this talk, Jane presents about her work on modelling dynamic behaviour of...
This episode belongs to Strachey 100: an Oxford Computing Pioneer.
Use the player on this page to stream the episode online.
Published Jun 26, 2017, 33:10 long, audio available.
In this talk, Jane presents about her work on modelling dynamic behaviour of systems using quantative modelling techniques. Particular kinds of modelling diagrams are used and a mathematical approach to looking at their meaning is presented.
You can listen to A modelling language approach to defining mathematical structures via semantics online on Radio and Podcast. Open the player on this page to stream the available audio.
A modelling language approach to defining mathematical structures via semantics is an episode from Strachey 100: an Oxford Computing Pioneer by Oxford University.
This episode is 33:10 long.
This episode was published on Jun 26, 2017.
Yes. Use the heart button on the episode page to add it to your favorite episodes list.
Yes. This page shows related episodes from Strachey 100: an Oxford Computing Pioneer when more episodes are available from the podcast feed.