Charles Wells

According to our database, Charles Wells authored at least 6 papers between 1987 and 2008.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2008

Graph-based Logic and Sketches

Atish Bagchi, Charles Wells

CoRR, 2008

1995

Category theory for computing science (2. ed.).

Michael Barr, Charles Wells

Prentice Hall international series in computer science, Prentice Hall, ISBN: 978-0-13-323809-9, 1995

1992

A Formalism for the Specification of Essentially Algebraic Structures in 2-Categories.

A. John Power, Charles Wells

Math. Struct. Comput. Sci., 1992

1990

A Generalization of the Concept of Sketch.

Charles Wells

Theor. Comput. Sci., 1990

Category theory for computing science.

Michael Barr, Charles Wells

Prentice Hall International Series in Computer Science, Prentice Hall, ISBN: 978-0-13-120486-7, 1990

1987

The Formal Description of Data Types Using Sketches.

Charles Wells, Michael Barr

Proceedings of the Mathematical Foundations of Programming Language Semantics, 1987