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 ◽

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 ◽

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 ◽

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 ◽

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 ◽

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 ◽

Author(s):

Y. Lafont

Download Full-text

Using fibrations to understand subtypes

Applications of Categories in Computer Science ◽

10.1017/cbo9780511525902.014 ◽

1992 ◽

pp. 239-257 ◽

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 ◽

Author(s):

P. S. Mulry

Keyword(s):

Download Full-text

Dinaturality for free

Applications of Categories in Computer Science ◽

10.1017/cbo9780511525902.007 ◽

1992 ◽

pp. 107-118 ◽

Author(s):

P. J. Freyd ◽

E. P. Robinson ◽

G. Rosolini

Download Full-text