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

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540171621, 9783540472131

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Categories, data types, and imperative languages

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

10.1007/3-540-17162-2_120 ◽

1986 ◽

pp. 143-162 ◽

Cited By ~ 3

Author(s):

Eric G. Wagner

Keyword(s):

Data Types

Download Full-text

Internal completeness of categories of domains

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

10.1007/3-540-17162-2_137 ◽

1986 ◽

pp. 449-465 ◽

Cited By ~ 1

Author(s):

Paul Taylor

Download Full-text

Galois connections and computer science applications

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

10.1007/3-540-17162-2_130 ◽

1986 ◽

pp. 299-312 ◽

Cited By ~ 34

Author(s):

A. Melton ◽

D. A. Schmidt ◽

G. E. Strecker

Keyword(s):

Computer Science ◽

Galois Connections

Download Full-text

Functor-category semantics of programming languages and logics

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

10.1007/3-540-17162-2_124 ◽

1986 ◽

pp. 206-224 ◽

Cited By ~ 5

Author(s):

R. D. Tennent

Keyword(s):

Programming Languages ◽

Functor Category ◽

Semantics Of Programming Languages

Download Full-text

A note on distributive laws and power domains

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

10.1007/3-540-17162-2_127 ◽

1986 ◽

pp. 252-265 ◽

Cited By ~ 1

Author(s):

Axel Poigné

Download Full-text

Functors and natural transformations

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

10.1007/3-540-17162-2_115 ◽

1986 ◽

pp. 43-50

Author(s):

David E. Rydeheard

Keyword(s):

Natural Transformations

Download Full-text

Cartesian closure — Higher types in categories

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

10.1007/3-540-17162-2_117 ◽

1986 ◽

pp. 58-75

Author(s):

Axel Poigné

Keyword(s):

Higher Types

Download Full-text

A categorical unification algorithm

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

10.1007/3-540-17162-2_139 ◽

1986 ◽

pp. 493-505 ◽

Cited By ~ 19

Author(s):

D. E. Rydeheard ◽

R. M. Burstall

Keyword(s):

Unification Algorithm

Download Full-text

Behavioural program specification

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

10.1007/3-540-17162-2_134 ◽

1986 ◽

pp. 390-411 ◽

Cited By ~ 3

Author(s):

Horst Reichel

Keyword(s):

Program Specification

Download Full-text

Category Theory and Computer Programming - Lecture Notes in Computer ScienceLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

Categories

Categories, data types, and imperative languages

Internal completeness of categories of domains

Galois connections and computer science applications

Functor-category semantics of programming languages and logics

A note on distributive laws and power domains

Functors and natural transformations

Cartesian closure — Higher types in categories

A categorical unification algorithm

Behavioural program specification

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