?
Lecture Notes in Computer Science; Logics and Type Systems in Theory and Practice ,
1
YACC: Yet Another Church Calculus: A Birthday Present for H..:
, In:
?
Proceedings of the 25th International Symposium on Principles and Practice of Declarative Programming ,
5
Multicompatibility for Multiparty-Session Composition:
, In:
?
Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles; Lecture Notes in Computer Science ,
14