Formalisation of Concurrent Programs in Type Theory (lecture notes in Lego summer school in Germany). / Luo, Zhaohui.

1995, Lecture Notes in Summer School.

Research output: Other contribution

Published
Original languageEnglish
TypeLecture Notes in Summer School
Publication statusPublished - 1995

ID: 1792247