Olov Schelén, N. O. Forsgren. A Proof System for Type Theory and CCS. In Burkhard Monien, Robert Cori, editors, STACS 89, 6th Annual Symposium on Theoretical Aspects of Computer Science, Paderborn, FRG, February 16-18, 1989, Proceedings. Volume 349 of Lecture Notes in Computer Science, pages 539-540, Springer, 1989.
@inproceedings{SchelenF89,
title = {A Proof System for Type Theory and CCS},
author = {Olov Schelén and N. O. Forsgren},
year = {1989},
tags = {type system, type theory},
researchr = {https://researchr.org/publication/SchelenF89},
cites = {0},
citedby = {0},
pages = {539-540},
booktitle = {STACS 89, 6th Annual Symposium on Theoretical Aspects of Computer Science, Paderborn, FRG, February 16-18, 1989, Proceedings},
editor = {Burkhard Monien and Robert Cori},
volume = {349},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-50840-6},
}