Login / Signup
Charles Wells
Publication Activity (10 Years)
Years Active: 1987-2008
Publications (10 Years): 0
</>
Publications
</>
Atish Bagchi
,
Charles Wells
Graph-based Logic and Sketches
CoRR
(2008)
A. John Power
,
Charles Wells
A Formalism for the Specification of Essentially Algebraic Structures in 2-Categories.
Math. Struct. Comput. Sci.
2 (1) (1992)
Charles Wells
A Generalization of the Concept of Sketch.
Theor. Comput. Sci.
70 (1) (1990)
Charles Wells
,
Michael Barr
The Formal Description of Data Types Using Sketches.
MFPS
(1987)