BIBLIOS

   Ciências References Management System

Visitor Mode (Login)
Need help?


Back

Publication details

Document type
Journal articles

Document subtype
Full paper

Title
Theory and Applications of Behavioural Types (Dagstuhl Seminar 17051)

Participants in the publication
Simon J. Gay (Editor)
Vasco T. Vasconcelos (Editor)
Dep. Informática
 LASIGE
 Philip Wadler (Editor)
Nobuko Yoshida (Editor)

Date of Publication
2017

Where published
Dagstuhl Reports

Publication Identifiers

Volume
1
Number
7

Starting page
158
Last page
189


Export

APA
(2017). Theory and Applications of Behavioural Types (Dagstuhl Seminar 17051). Dagstuhl Reports, 1, 158-189.

IEEE
"Theory and Applications of Behavioural Types (Dagstuhl Seminar 17051)" in Dagstuhl Reports, vol. 1, pp. 158-189, 2017.

BIBTEX
@article{43730, author = {}, title = {Theory and Applications of Behavioural Types (Dagstuhl Seminar 17051)}, journal = {Dagstuhl Reports}, year = 2017, pages = {158-189}, volume = 1 }