Volume 7; Issue 1-2

Applied Categorical Structures

Volume 7; Issue 1-2
1

Extensional Σ-Spaces in Type Theory

Bernhard Reus
Journal:
Applied Categorical Structures
Year:
1999
Language:
english
File:
PDF, 175 KB
english, 1999
2

Inductive Construction of Repletion

Thomas Streicher
Journal:
Applied Categorical Structures
Year:
1999
Language:
english
File:
PDF, 166 KB
english, 1999
3

Categorical Generalization of a Universal Domain

JiřÍ Velebil
Journal:
Applied Categorical Structures
Year:
1999
Language:
english
File:
PDF, 144 KB
english, 1999
4

Density Theorems for the Domains-with-Totality Semantics of Dependent Types

Ulrich Berger
Journal:
Applied Categorical Structures
Year:
1999
Language:
english
File:
PDF, 202 KB
english, 1999
5

Factorisation Systems on Domains

Mathias Kegelmann
Journal:
Applied Categorical Structures
Year:
1999
Language:
english
File:
PDF, 132 KB
english, 1999
6

An Algebraic View on Recursive Types

Michael Marz
Journal:
Applied Categorical Structures
Year:
1999
Language:
english
File:
PDF, 95 KB
english, 1999
7

Z-Continuous Posets and Their Topological Manifestation

Marcel Erné
Journal:
Applied Categorical Structures
Year:
1999
Language:
english
File:
PDF, 259 KB
english, 1999
8

Approximation of Metric Spaces by Partial Metric Spaces

Reinhold Heckmann
Journal:
Applied Categorical Structures
Year:
1999
Language:
english
File:
PDF, 100 KB
english, 1999
9

On the Approximation of Denotational Mu-Semantics

Michael Huth
Journal:
Applied Categorical Structures
Year:
1999
Language:
english
File:
PDF, 172 KB
english, 1999
10

A Convenient Category for Games and Interaction

Jürgen Koslowski
Journal:
Applied Categorical Structures
Year:
1999
Language:
english
File:
PDF, 147 KB
english, 1999
11

Preface

Journal:
Applied Categorical Structures
Year:
1999
Language:
english
File:
PDF, 13 KB
english, 1999