Category Theory and Computer Science: Proceedings

Front Cover
Springer-Verlag, 1991 - Computers
0 Reviews

What people are saying - Write a review

We haven't found any reviews in the usual places.

Contents

T Ehrhard and P Malacaria
1
Amadio
16
Tennent
34
R Hoofman and H Schellinx
53
P W OHearn
74
A Burroni
94
R Blute
121
E Moggi
138
B
151
T Coquand
164
B Jacobs E Moggi and T Streicher
197
W Phoa
219
A Corradini and U Montanari
236
E W Stark
261
P Degano S Kasangian and S Vigna
282
Copyright

Other editions - View all

Bibliographic information