Category Theory and Computer Science - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

15

(FIVE YEARS 0)

H-INDEX

5

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540601647, 9783540446613

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Lifting as a KZ-doctrine

Category Theory and Computer Science - Lecture Notes in Computer Science ◽

10.1007/3-540-60164-3_24 ◽

1995 ◽

pp. 146-158 ◽

Author(s):

Marcelo P. Fiore

Download Full-text

Proof of a S.Mac Lane conjecture (extended abstract)

Category Theory and Computer Science - Lecture Notes in Computer Science ◽

10.1007/3-540-60164-3_20 ◽

1995 ◽

pp. 59-80 ◽

Author(s):

S. Soloviev

Download Full-text

V-comprehensions and P space

Category Theory and Computer Science - Lecture Notes in Computer Science ◽

10.1007/3-540-60164-3_29 ◽

1995 ◽

pp. 220-239 ◽

Author(s):

J. R. Otto

Download Full-text

A category-theoretic treatment of a parallel algol-like language

Category Theory and Computer Science - Lecture Notes in Computer Science ◽

10.1007/3-540-60164-3_26 ◽

1995 ◽

pp. 180-181

Author(s):

Stephen Brookes

Download Full-text

Convenient category of processes and simulations I: Modulo strong bisimilarity

Category Theory and Computer Science - Lecture Notes in Computer Science ◽

10.1007/3-540-60164-3_17 ◽

1995 ◽

pp. 3-23 ◽

Author(s):

Duško Pavlović

Keyword(s):

Convenient Category

Download Full-text

A proposed categorical semantics for ML modules

Category Theory and Computer Science - Lecture Notes in Computer Science ◽

10.1007/3-540-60164-3_30 ◽

1995 ◽

pp. 240-252 ◽

Author(s):

Michael Fourman ◽

Hayo Thielecke

Keyword(s):

Categorical Semantics

Download Full-text

Categorical fixed point calculus

Category Theory and Computer Science - Lecture Notes in Computer Science ◽

10.1007/3-540-60164-3_25 ◽

1995 ◽

pp. 159-179 ◽

Author(s):

Roland Backhouse ◽

Marcel Bijsterveld ◽

Rik Geldrop ◽

Jaap Woude

Keyword(s):

Download Full-text

The S-replete construction

Category Theory and Computer Science - Lecture Notes in Computer Science ◽

10.1007/3-540-60164-3_22 ◽

1995 ◽

pp. 96-116 ◽

Author(s):

J. M. E. Hyland ◽

E. Moggi

Download Full-text

Categorical reconstruction of a reduction free normalization proof

Category Theory and Computer Science - Lecture Notes in Computer Science ◽

10.1007/3-540-60164-3_27 ◽

1995 ◽

pp. 182-199 ◽

Author(s):

Thorsten Altenkirch ◽

Martin Hofmann ◽

Thomas Streicher

Download Full-text

Decomposing typed lambda calculus into a couple of categorical programming languages

Category Theory and Computer Science - Lecture Notes in Computer Science ◽

10.1007/3-540-60164-3_28 ◽

1995 ◽

pp. 200-219 ◽

Author(s):

Masahito Hasegawa

Keyword(s):

Programming Languages ◽

Lambda Calculus ◽

Typed Lambda Calculus

Download Full-text