Axiomatic Domain Theory in Categories of Partial Maps
Latest Publications

TOTAL DOCUMENTS

16

(FIVE YEARS 0)

H-INDEX

1

(FIVE YEARS 0)

Published By Cambridge University Press

9780521571883, 9780521602778, 9780511526565

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Bibliography

Axiomatic Domain Theory in Categories of Partial Maps ◽

10.1017/cbo9780511526565.016 ◽

1996 ◽

pp. 226-232

Download Full-text

Propositions D.0.1 and D.0.2

Axiomatic Domain Theory in Categories of Partial Maps ◽

10.1017/cbo9780511526565.015 ◽

1996 ◽

pp. 222-225

Download Full-text

Theorem 8.6.6

Axiomatic Domain Theory in Categories of Partial Maps ◽

10.1017/cbo9780511526565.013 ◽

1996 ◽

pp. 205-211

Download Full-text

Computational Soundness and Adequacy

Axiomatic Domain Theory in Categories of Partial Maps ◽

10.1017/cbo9780511526565.010 ◽

1996 ◽

pp. 170-190

Download Full-text

Order-Enriched Categories of Partial Maps

Axiomatic Domain Theory in Categories of Partial Maps ◽

10.1017/cbo9780511526565.005 ◽

1996 ◽

pp. 52-76

Keyword(s):

Enriched Categories

Download Full-text

Introduction

Axiomatic Domain Theory in Categories of Partial Maps ◽

10.1017/cbo9780511526565.002 ◽

1996 ◽

pp. 1-16 ◽

Download Full-text

Summary and Further Research

Axiomatic Domain Theory in Categories of Partial Maps ◽

10.1017/cbo9780511526565.011 ◽

1996 ◽

pp. 191-201

Download Full-text

Partiality

Axiomatic Domain Theory in Categories of Partial Maps ◽

10.1017/cbo9780511526565.004 ◽

1996 ◽

pp. 34-51

Download Full-text

Categorical Preliminaries

Axiomatic Domain Theory in Categories of Partial Maps ◽

10.1017/cbo9780511526565.003 ◽

1996 ◽

pp. 17-33

Download Full-text

Lemma 8.4.4

Axiomatic Domain Theory in Categories of Partial Maps ◽

10.1017/cbo9780511526565.012 ◽

1996 ◽

pp. 202-204

Download Full-text