Volume 7; Issue 5

1

A categorical generalization of Scott domains

Year:
1997
Language:
english
File:
PDF, 627 KB
english, 1997
3

A computational formalization for partial evaluation

Year:
1997
Language:
english
File:
PDF, 623 KB
english, 1997
4

Spaces of maximal points

Year:
1997
Language:
english
File:
PDF, 424 KB
english, 1997
5

Premonoidal categories and notions of computation

Year:
1997
Language:
english
File:
PDF, 418 KB
english, 1997
6

When Scott is weak on the top

Year:
1997
Language:
english
File:
PDF, 536 KB
english, 1997
8

Foreword

Year:
1997
Language:
english
File:
PDF, 292 KB
english, 1997
9

A semantic characterisation of the correctness of a proof net

Year:
1997
Language:
english
File:
PDF, 432 KB
english, 1997
10

Action semantics reasoning about functional programs

Year:
1997
Language:
english
File:
PDF, 635 KB
english, 1997