Coalgebraic Semantics [2/4] - Alexandra Silva - OPLSS 2019

preview_player
Показать описание
Oregon Programming Languages Summer School
Foundations of Probabilistic and Security Programming
June 17-29, 2019
University of Oregon

Title: Coalgebraic Semantics
Speaker: Alexandra Silva, University College London
Date: Monday, 17 June 2019, Session 4

© 2019, University of Oregon
  1. OPLSS
  2. coalgebraic semantics
  3. coalgebra
  4. induction
  5. bisimulation
  6. Alexandra
Рекомендации по теме
Coalgebraic Semantics [2/4] 1:27:32

Coalgebraic Semantics [2/4] - Alexandra Silva - OPLSS 2019

Coalgebraic Semantics [1/4] 1:24:06

Coalgebraic Semantics [1/4] - Alexandra Silva - OPLSS 2019

Coalgebraic Semantics [3/4] 1:08:17

Coalgebraic Semantics [3/4] - Alexandra Silva - OPLSS 2019

Coalgebraic Semantics [4/4] 1:10:05

Coalgebraic Semantics [4/4] - Alexandra Silva - OPLSS 2019

Game Semantics [2/4] 1:15:56

Game Semantics [2/4] - Dan R. Ghica - OPLSS 2018

Henning Basold, 'Coalgebraic 1:01:36

Henning Basold, 'Coalgebraic communication protocols and session types'

Probabilistic programming: Bayesian 1:09:58

Probabilistic programming: Bayesian Non-Parametrics and Semantics [2/4] - Sam Staton - OPLSS 2019

[POPL'22] Coalgebra for 0:58:14

[POPL'22] Coalgebra for the working programming languages researcher

F-coalgebra 0:03:27

F-coalgebra

CS410 2017 Lecture 0:51:28

CS410 2017 Lecture 15 Coinduction and Coalgebras

Giuseppe Rosolini: Equality 1:01:33

Giuseppe Rosolini: Equality is Coalgebraic

Prof Alexandra Silva 0:39:44

Prof Alexandra Silva interview - 12 April 2022

Andrew Pitts, 'Constructive 1:01:59

Andrew Pitts, 'Constructive Initial Algebra Semantics'

Game Semantics [4/4] 1:12:27

Game Semantics [4/4] - Dan R. Ghica - OPLSS 2018

Game Semantics [3/4] 1:19:57

Game Semantics [3/4] - Dan R. Ghica - OPLSS 2018

Growing Trees From 1:01:40

Growing Trees From Seeds Using Coalgebras by Bartosz Milewski & Oli Makhasoeva

Larry Moss --- 1:01:15

Larry Moss --- Coalgebra in Continuous Mathematics.

Probabilistic programming: Bayesian 0:57:16

Probabilistic programming: Bayesian Non-Parametrics and Semantics [4/4] - Sam Staton - OPLSS 2019

Aleks Nanevski Lecture 1:23:55

Aleks Nanevski Lecture 2, OPLSS 2016

Probabilistic programming: Bayesian 1:11:13

Probabilistic programming: Bayesian Non-Parametrics and Semantics [3/4] - Sam Staton - OPLSS 2019

Familial Monads and 0:21:45

Familial Monads and Structural Operational Semantics

Alexandra Silva: An 0:47:32

Alexandra Silva: An algebraic framework to reason about concurrency

Bisimulation as Path 0:22:16

Bisimulation as Path Type for Guarded Recursive Types

Session-Typed Concurrent Programming 1:28:45

Session-Typed Concurrent Programming [2/4] - Frank Pfenning - OPLSS 2019