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

TOTAL DOCUMENTS

16

(FIVE YEARS 0)

H-INDEX

5

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540185086, 9783540480068

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

An interval model for second order lambda calculus

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

10.1007/3-540-18508-9_28 ◽

1987 ◽

pp. 219-237 ◽

Author(s):

Simone Martini

Keyword(s):

Lambda Calculus ◽

Second Order ◽

Download Full-text

A category of Galois connections

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

10.1007/3-540-18508-9_32 ◽

1987 ◽

pp. 290-300 ◽

Author(s):

J. M. McDill ◽

A. C. Melton ◽

G. E. Strecker

Keyword(s):

Galois Connections

Download Full-text

A fixpoint construction of the p-adic domain

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

10.1007/3-540-18508-9_31 ◽

1987 ◽

pp. 270-289

Author(s):

Steven Vickers

Download Full-text

Connections between partial maps categories and tripos theory

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

10.1007/3-540-18508-9_30 ◽

1987 ◽

pp. 254-269 ◽

Author(s):

Maurizio Proietti

Download Full-text

Relating two models of hardware

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

10.1007/3-540-18508-9_22 ◽

1987 ◽

pp. 98-113 ◽

Author(s):

Glynn Winskel

Download Full-text

Logical aspects of denotational semantics

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

10.1007/3-540-18508-9_29 ◽

1987 ◽

pp. 238-253 ◽

Author(s):

E. Robinson

Keyword(s):

Denotational Semantics

Download Full-text

Final algebras, cosemicomputable algebras, and degrees of unsolvability

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

10.1007/3-540-18508-9_25 ◽

1987 ◽

pp. 158-181 ◽

Author(s):

Lawrence S. Moss ◽

José Meseguer ◽

Joseph A. Goguen

Keyword(s):

Degrees Of Unsolvability

Download Full-text

Categories and effective computations

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

10.1007/3-540-18508-9_17 ◽

1987 ◽

pp. 1-11 ◽

Author(s):

G. Rosolini

Download Full-text

Viewing implementations as an institution

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

10.1007/3-540-18508-9_27 ◽

1987 ◽

pp. 196-218 ◽

Author(s):

Christoph Beierle ◽

Angelika Voß

Download Full-text

The category of Milner processes is exact

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

10.1007/3-540-18508-9_21 ◽

1987 ◽

pp. 71-97

Author(s):

David B. Benson

Download Full-text