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

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer-Verlag

354051662x

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Independence results for calculi of dependent types

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

10.1007/bfb0018350 ◽

2005 ◽

pp. 141-154 ◽

Cited By ~ 1

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 ◽

Cited By ~ 3

Author(s):

Ross Casley ◽

Roger F. Crew ◽

José Meseguer ◽

Vaughan Pratt

Keyword(s):

Temporal Structures

Download Full-text

Projections for polymorphic strictness analysis

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

10.1007/bfb0018346 ◽

2005 ◽

pp. 82-100 ◽

Cited By ~ 1

Author(s):

John Hughes

Keyword(s):

Strictness Analysis

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 ◽

Cited By ~ 2

Author(s):

Bart Jacobs

Keyword(s):

Lambda Calculus ◽

Second Order

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 ◽

Cited By ~ 1

Author(s):

Guiseppe Longo

Keyword(s):

Category Theory ◽

Proof Theory

Download Full-text

Operations on records

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

10.1007/bfb0018345 ◽

2005 ◽

pp. 75-81 ◽

Cited By ~ 6

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 ◽

Cited By ~ 14

Author(s):

Eugene W. Stark

Keyword(s):

Relational Semantics ◽

Dataflow Networks

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 ◽

Cited By ~ 3

Author(s):

G. C. Wralth

Download Full-text

From petri nets to linear logic

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

10.1007/bfb0018359 ◽

2005 ◽

pp. 313-340 ◽

Cited By ~ 26

Author(s):

Narciso Martí-Oliet ◽

José Meseguer

Keyword(s):

Petri Nets ◽

Linear Logic

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 ◽

Cited By ~ 5

Author(s):

Ugo Montanari ◽

Daniel N. Yankelevich

Keyword(s):

Operational Semantics

Download Full-text

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

TOTAL DOCUMENTS

H-INDEX

Published By Springer-Verlag

Independence results for calculi of dependent types

Temporal structures

Projections for polymorphic strictness analysis

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

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

Operations on records

Compositional relational semantics for indeterminate dataflow networks

A note on categorical datatypes

From petri nets to linear logic

An algebraic view of interleaving and distributed operational semantics for CCS

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