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

TOTAL DOCUMENTS

19

(FIVE YEARS 0)

H-INDEX

6

(FIVE YEARS 0)

Published By Springer-Verlag

354051662x

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Projections for polymorphic strictness analysis

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

10.1007/bfb0018346 ◽

2005 ◽

pp. 82-100 ◽

Author(s):

John Hughes

Keyword(s):

Strictness Analysis

Download Full-text

Independence results for calculi of dependent types

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

10.1007/bfb0018350 ◽

2005 ◽

pp. 141-154 ◽

Author(s):

Thomas Streicher

Keyword(s):

Dependent Types ◽

Independence Results

Download Full-text

Temporal structures

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

10.1007/bfb0018343 ◽

2005 ◽

pp. 21-51 ◽

Author(s):

Ross Casley ◽

Roger F. Crew ◽

José Meseguer ◽

Vaughan Pratt

Keyword(s):

Temporal Structures

Download Full-text

Coherence and valid isomorphism in closed categories applications of proof theory to category theory in a computer sclentist perspective

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

10.1007/bfb0018341 ◽

2005 ◽

pp. 1-4 ◽

Author(s):

Guiseppe Longo

Keyword(s):

Category Theory ◽

Download Full-text

Operations on records

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

10.1007/bfb0018345 ◽

2005 ◽

pp. 75-81 ◽

Author(s):

Luca Cardelli ◽

John C. Mitchell

Download Full-text

Compositional relational semantics for indeterminate dataflow networks

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

10.1007/bfb0018344 ◽

2005 ◽

pp. 52-74 ◽

Author(s):

Eugene W. Stark

Keyword(s):

Relational Semantics ◽

Dataflow Networks

Download Full-text

On the semantics of second order lambda calculus: From bruce-meyer-mitchell models to hyperdoctrine models and vice-versa

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

10.1007/bfb0018353 ◽

2005 ◽

pp. 198-212 ◽

Author(s):

Bart Jacobs

Keyword(s):

Lambda Calculus ◽

Download Full-text

An algebraic view of interleaving and distributed operational semantics for CCS

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

10.1007/bfb0018342 ◽

2005 ◽

pp. 5-20 ◽

Author(s):

Ugo Montanari ◽

Daniel N. Yankelevich

Keyword(s):

Operational Semantics

Download Full-text

An abstract formulation for rewrite systems

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

10.1007/bfb0018358 ◽

2005 ◽

pp. 300-312 ◽

Author(s):

A. J. Power

Keyword(s):

Rewrite Systems ◽

Abstract Formulation

Download Full-text

A note on categorical datatypes

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

10.1007/bfb0018348 ◽

2005 ◽

pp. 118-127 ◽

Author(s):

G. C. Wralth

Download Full-text