Personensuche
X
?
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:
?
Formal Aspects of Component Software; Lecture Notes in Computer Science ,
4
Open Compliance in Multiparty Sessions:
, In:
?
23rd International Symposium on Principles and Practice of Declarative Programming ,
5
Intersection types for a λ-calculus with global store:
, In:
?
Proceedings of the 22nd International Symposium on Principles and Practice of Declarative Programming ,
6