An abstract account of composition

Lecture Notes in Computer Science - Mathematical Foundations of Computer Science 1995 ◽

10.1007/3-540-60246-1_155 ◽

1995 ◽

pp. 499-508 ◽

Author(s):

Martín Abadi ◽

Stephan Merz

Download Full-text