References
M. Hennessy. Proving systolic systems correct. TOPLAS 8 (3), pp. 344–387, 1986.
K. Peterson. A Programming system for type theory. PMG Memo 21, Chalmers University of Technology, S-412 96 Göteborg, 1982.
Editor information
Rights and permissions
Copyright information
© 1989 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Schelén, O., Forsgren, N.O. (1989). A proof system for type theory and CCS. In: Monien, B., Cori, R. (eds) STACS 89. STACS 1989. Lecture Notes in Computer Science, vol 349. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0029018
Download citation
DOI: https://doi.org/10.1007/BFb0029018
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-50840-3
Online ISBN: 978-3-540-46098-5
eBook Packages: Springer Book Archive