ZJU Global Dialogue Series: Programming Language Semantics by Prof. Andrew Pitts

preview_player
Показать описание
Andrew Pitts is a Professor of Theoretical Computer Science and a Fellow of Darwin College at the University of Cambridge. His research makes use of techniques from category theory, mathematical logic and type theory to advance the foundations of programming language semantics and theorem proving systems. He has a long-standing interest in the semantics and logic of names, locality and binding. In this video, you will look at various styles of programming language semantics and compare their answers to the fundamental question: when are two program phrases semantically equivalent?
Special thanks to Prof. Andrew Pitts and Prof. LIAO Beishui
  1. Zhejiang University
Рекомендации по теме
ZJU Global Dialogue 1:02:25

ZJU Global Dialogue Series: Programming Language Semantics by Prof. Andrew Pitts

Global Dialogue Series: 0:53:22

Global Dialogue Series: Some aspects of the genetics and biology of colorectal cancer.

Global Dialogue Series: 1:17:50

Global Dialogue Series: The Achievements of Yale School of Architecture's China Studio

Residential College of 0:03:29

Residential College of Zhejiang University International Business School ( Introduction )

ZJU Global Lecture 0:37:00

ZJU Global Lecture Series: Inspiring speech by Dr. Michael Spence, President & Provost of UCL

ZJU scientists unlock 0:00:39

ZJU scientists unlock the 'code' of energy transmission across species

2022 Opening Assembly 0:00:57

2022 Opening Assembly for New ZJU Postgraduates

Explore the new 0:01:28

Explore the new Duan Yongping Teaching Complex on ZJU Zijingang Campus

ZJUSOM | Why 0:07:59

ZJUSOM | Why BAI@QTEM—Interview with Prof QU Wenguang, BAI@QTEM program director

ZJU holds Opening 0:00:58

ZJU holds Opening Assembly for Class of 2026

Spring in School 0:00:51

Spring in School of Medicine-ZJU

IS-102 | SEMINAR-2 2:29:24

IS-102 | SEMINAR-2 | cris-is.org & UNU-MERIT

ZIBS | Study 0:23:04

ZIBS | Study at Zhejiang University in China: Master of China Studies

ZJUT Admissions Webinar 1:34:05

ZJUT Admissions Webinar - Computer Science and Technology

Study at Zhejiang 0:17:38

Study at Zhejiang University of Science and Technology ZUST Chinese University Online Open

BIGGER Starts Here 0:02:00

BIGGER Starts Here | Director interview

EDU2021 DAY 1 2:21:37

EDU2021 DAY 1

Global Research in 0:22:48

Global Research in Design Innovation Exhibition  & Forum 2024 -

Yan Li (ZJU) 0:34:31

Yan Li (ZJU) – Assessment and Monitoring of Learning and Student Experience During COVID-19

This is how 0:03:02

This is how I celebrated 125th Birthday of Zhejiang University (Haining Campus)

Setting The Scene 1:32:25

Setting The Scene

Historicity and Governmentality 1:03:57

Historicity and Governmentality

Clinical History and 0:04:59

Clinical History and Genetic Analysis of Early-Onset Diagnosis

Health Spotlight: Handwriting 0:01:22

Health Spotlight: Handwriting changes, a sign of Alzheimer's