Volume 29; Issue none

1

Preface: Volume 29

Year:
1999
Language:
english
File:
PDF, 31 KB
english, 1999
5

Structured Theories and Institutions

Year:
1999
Language:
english
File:
PDF, 960 KB
english, 1999
6

Coalgebra-to-Algebra Morphisms

Year:
1999
Language:
maltese
File:
PDF, 457 KB
maltese, 1999
7

On the Semantics of Message Passing Processes

Year:
1999
Language:
english
File:
PDF, 1.14 MB
english, 1999
8

Fibred models of processes

Year:
1999
File:
PDF, 22 KB
1999
12

A Fully Abstract Presheaf Semantics of SCCS with Finite Delay

Year:
1999
Language:
english
File:
PDF, 662 KB
english, 1999
13

Abstract Games for Linear Logic Extended Abstract

Year:
1999
Language:
english
File:
PDF, 1.18 MB
english, 1999
15

Dependent Coercions

Year:
1999
Language:
english
File:
PDF, 787 KB
english, 1999
17

Monads, Shapely Functors and Traversals

Year:
1999
Language:
english
File:
PDF, 986 KB
english, 1999
20

A Coalgebraic Foundation for Linear Time Semantics

Year:
1999
Language:
english
File:
PDF, 743 KB
english, 1999
21

Design ware: Software Development by Refinement

Year:
1999
Language:
english
File:
PDF, 530 KB
english, 1999
22

Denotational Completeness Revisited

Year:
1999
Language:
english
File:
PDF, 670 KB
english, 1999
23

A Domain-theoretic Semantics of Lax Generic Functions

Year:
1999
Language:
english
File:
PDF, 1.04 MB
english, 1999
24

Higher Dimensional Syntax

Year:
1999
Language:
english
File:
PDF, 1.27 MB
english, 1999