Categories in Computer Science and Logic - Contemporary Mathematics
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By American Mathematical Society

9780821851005, 9780821876800

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

The category of sketches as a model for algebraic semantics

Categories in Computer Science and Logic - Contemporary Mathematics ◽

10.1090/conm/092/1003198 ◽

1989 ◽

pp. 109-135 ◽

Cited By ~ 10

Author(s):

John W. Gray

Keyword(s):

Algebraic Semantics

Download Full-text

POLYNAT in PER

Categories in Computer Science and Logic - Contemporary Mathematics ◽

10.1090/conm/092/1003196 ◽

1989 ◽

pp. 67-68 ◽

Cited By ~ 5

Author(s):

Peter Freyd

Download Full-text

The Dialectica categories

Categories in Computer Science and Logic - Contemporary Mathematics ◽

10.1090/conm/092/1003194 ◽

1989 ◽

pp. 47-62 ◽

Cited By ~ 17

Author(s):

V. C. V. de Paiva

Download Full-text

Geometric invariance of existential fixed-point logic

Categories in Computer Science and Logic - Contemporary Mathematics ◽

10.1090/conm/092/1003192 ◽

1989 ◽

pp. 9-22 ◽

Cited By ~ 2

Author(s):

Andreas Blass

Keyword(s):

Fixed Point ◽

Geometric Invariance

Download Full-text

Normalization revisited

Categories in Computer Science and Logic - Contemporary Mathematics ◽

10.1090/conm/092/1003209 ◽

1989 ◽

pp. 357-369 ◽

Cited By ~ 6

Author(s):

Andre Scedrov

Download Full-text

Coherence for bicategories with finite bilimits. I

Categories in Computer Science and Logic - Contemporary Mathematics ◽

10.1090/conm/092/1003207 ◽

1989 ◽

pp. 341-347 ◽

Cited By ~ 4

Author(s):

A. J. Power

Download Full-text

An application of minimal context-free intersection partitions to rewrite rule consistency checking

Categories in Computer Science and Logic - Contemporary Mathematics ◽

10.1090/conm/092/1003202 ◽

1989 ◽

pp. 241-260

Author(s):

Dana May Latch

Keyword(s):

Consistency Checking ◽

Context Free ◽

Rule Consistency

Download Full-text

The theory of constructions: categorical semantics and topos-theoretic models

Categories in Computer Science and Logic - Contemporary Mathematics ◽

10.1090/conm/092/1003199 ◽

1989 ◽

pp. 137-199 ◽

Cited By ~ 28

Author(s):

J. Martin E. Hyland ◽

Andrew M. Pitts

Keyword(s):

Categorical Semantics

Download Full-text

Towards a geometry of interaction

Categories in Computer Science and Logic - Contemporary Mathematics ◽

10.1090/conm/092/1003197 ◽

1989 ◽

pp. 69-108 ◽

Cited By ~ 74

Author(s):

Jean-Yves Girard

Download Full-text

On the decidability of objects in a locos

Categories in Computer Science and Logic - Contemporary Mathematics ◽

10.1090/conm/092/1003193 ◽

1989 ◽

pp. 23-46 ◽

Cited By ~ 3

Author(s):

J. R. B. Cockett

Download Full-text

Categories in Computer Science and Logic - Contemporary MathematicsLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By American Mathematical Society

The category of sketches as a model for algebraic semantics

POLYNAT in PER

The Dialectica categories

Geometric invariance of existential fixed-point logic

Normalization revisited

Coherence for bicategories with finite bilimits. I

An application of minimal context-free intersection partitions to rewrite rule consistency checking

The theory of constructions: categorical semantics and topos-theoretic models

Towards a geometry of interaction

On the decidability of objects in a locos

Categories in Computer Science and Logic - Contemporary Mathematics
Latest Publications