zhong-shao

Pinned Repositories

• rbgs-papers

  Publications about refinement-based game semantics

  Language:TeX2401

• dsss17

  Lecture material for DeepSpec Summer School 2017

  Language:Coq8622014

• dissertation

  Language:TeX01

• nominal-compcert-popl22-artifact

  Artifact for POPL 2022

  Language:Coq8301

zhong-shao's Repositories