Author: James Burton
Publications
Publication period start: 2008
Publications
Burton, James (2008): Types and Programs from Euler Diagrams. In: Stapleton, Gem, Howse, John, Lee, John (eds.) Diagrams 2008 - Diagrammatic Representation and Inference - 5th International Conference September 19-21, 2008, Herrsching, Germany. pp. 357-359. https://dx.doi.org/10.1007/978-3-540-87730-1_35
Burton, James (2008): Diagrams and intuitive formal specifications. In: VL-HCC 2008 - IEEE Symposium on Visual Languages and Human-Centric Computing 15-19 September, 2008, Herrsching am Ammersee, Germany. pp. 262-263. https://dx.doi.org/10.1109/VLHCC.2008.4639102