Applications of Categories in Computer Science
Latest Publications

TOTAL DOCUMENTS

18

(FIVE YEARS 0)

H-INDEX

7

(FIVE YEARS 0)

Published By Cambridge University Press

9780521427265, 9780511525902

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Reasoning about sequential functions via logical relations

Applications of Categories in Computer Science ◽

10.1017/cbo9780511525902.015 ◽

1992 ◽

pp. 258-269 ◽

Cited By ~ 13

Author(s):

K. Sieber

Download Full-text

Simply typed and untyped lambda calculus revisited

Applications of Categories in Computer Science ◽

10.1017/cbo9780511525902.008 ◽

1992 ◽

pp. 119-142 ◽

Cited By ~ 3

Author(s):

B. Jacobs

Keyword(s):

Lambda Calculus

Download Full-text

Sequentiality and full abstraction

Applications of Categories in Computer Science ◽

10.1017/cbo9780511525902.005 ◽

1992 ◽

pp. 66-94 ◽

Cited By ~ 1

Author(s):

P.-L. Curien

Keyword(s):

Full Abstraction

Download Full-text

Weakly distributive categories

Applications of Categories in Computer Science ◽

10.1017/cbo9780511525902.004 ◽

1992 ◽

pp. 45-65 ◽

Cited By ~ 9

Author(s):

J.R.B. Cockett ◽

R.A.G. Seely

Download Full-text

Partial products, bagdomains and hyperlocal toposes

Applications of Categories in Computer Science ◽

10.1017/cbo9780511525902.018 ◽

1992 ◽

pp. 315-339 ◽

Cited By ~ 4

Author(s):

P. T. Johnstone

Download Full-text

Miscellaneous Frontmatter

Applications of Categories in Computer Science ◽

10.1017/cbo9780511525902.002 ◽

1992 ◽

pp. viii-x

Download Full-text

Penrose diagrams and 2-dimensional rewriting

Applications of Categories in Computer Science ◽

10.1017/cbo9780511525902.011 ◽

1992 ◽

pp. 191-201 ◽

Cited By ~ 7

Author(s):

Y. Lafont

Download Full-text

On clubs and data-type constructors

Applications of Categories in Computer Science ◽

10.1017/cbo9780511525902.010 ◽

1992 ◽

pp. 163-190 ◽

Cited By ~ 8

Author(s):

G. M. Kelly

Keyword(s):

Data Type

Download Full-text

Using fibrations to understand subtypes

Applications of Categories in Computer Science ◽

10.1017/cbo9780511525902.014 ◽

1992 ◽

pp. 239-257 ◽

Cited By ~ 1

Author(s):

W. Phoa

Download Full-text

Strong monads, algebras and fixed points

Applications of Categories in Computer Science ◽

10.1017/cbo9780511525902.012 ◽

1992 ◽

pp. 202-216 ◽

Cited By ~ 7

Author(s):

P. S. Mulry

Keyword(s):

Fixed Points

Download Full-text