jimburton's Thompson:S [11 articles] Export

Recent papers posted to jimburton's library by the author Thompson:S. You can also see everyone's Thompson:S.

	An Expressive Visual Logic for Software Specification [My Copy] Submitted to LMS Journal of Computation and Mathematics (2007) by G. Stapleton, A. Fish, S. Thompson, J. Howse, S. Thompson posted to diagrams file-import-09-01-22 by jimburton on 2009-01-22 17:11:34 as
	The Expressiveness of Spider Diagrams Augmented with Constants [My Copy] Journal of Visual Languages and Computing (available online, 2008) by G. Stapleton, J. Taylor, J. Howse, S. Thompson posted to diagrams file-import-09-01-22 spider-diagrams by jimburton on 2009-01-22 17:11:33 as
	Type Theory & Functional Programming [My Copy] (1991) by Simon Thompson posted to functional-programming type-theory by jimburton on 2008-11-14 14:59:12 as
	Spider Diagrams of Order and a Hierarchy of Star-Free Regular Languages [My Copy] Diagrammatic Representation and Inference (2008), pp. 172-187. by Aidan Delaney, John Taylor, Simon Thompson posted to diagrams formal-methods spider-diagrams by jimburton on 2008-09-23 16:33:14 as
	What Can Spider Diagrams Say? [My Copy] In Proceedings of 3rd International Conference on the Theory and Application of Diagrams, Vol. 2980 (2004), pp. 112-127. by G. Stapleton, J. Howse, J. Taylor, S. Thompson posted to diagrams logic spider-diagrams vmg-bibtex-file by jimburton on 2008-02-21 14:00:46 as
	The Expressiveness of Spider Diagrams Augmented with Constants [My Copy] In Visual Languages and Human Centric Computing, Rome, Italy (September 2004), pp. 91-98. by G. Stapleton, J. Howse, J. Taylor, S. Thompson posted to diagrams logic spider-diagrams vmg-bibtex-file by jimburton on 2008-02-21 14:00:45 as
	The Expressiveness of Spider Diagrams [My Copy] Journal of Logic and Computation, Vol. 14, No. 6. (December 2004), pp. 857-880. by G. Stapleton, S. Thompson, J. Howse, J. Taylor posted to diagrams logic spider-diagrams vmg-bibtex-file by jimburton on 2008-02-21 14:00:45 as
	A New Language for the Visualisation of Logic and Reasoning [My Copy] In 11th International Conference on Distributed Multimedia Systems, International Workshop on Visual Languages and Computing (September 2005) by G. Stapleton, S. Thompson, A. Fish, J. Howse, J. Taylor posted to diagrams logic vmg-bibtex-file by jimburton on 2008-02-21 14:00:45 as
	Tableaux for Diagrammatic Reasoning [My Copy] In Proceedings of the Eleventh International Conference on Distributed Multimedia Systems, International Workshop on Visual Languages and Computing (September 2005), pp. 279-286. by O. Patrascoiu, S. Thompson, P. Rodgers posted to automated-reasoning diagrams logic vmg-bibtex-file by jimburton on 2008-02-21 14:00:44 as
	An Expressive Visual Logic for Software Specification [My Copy] Submitted to LMS Journal of Computation and Mathematics (2007) by G. Stapleton, A. Fish, S. Thompson, J. Howse, S. Thompson posted to vmg-bibtex-file by jimburton on 2008-02-21 14:00:37 as
	The Expressiveness of Spider Diagrams Augmented with Constants [My Copy] Submitted to Journal of Visual Languages and Computing (2005) by G. Stapleton, J. Taylor, J. Howse, S. Thompson posted to diagrams spider-diagrams vmg-bibtex-file by jimburton on 2008-02-21 14:00:37 as

Note: You may cite this page as: http://www.citeulike.org/user/jimburton/author/Thompson:S

diagrams	212
vmg-bibtex-file	193
file-import-09-01-22	86
functional-programming	70
logic	52
type-theory	48
dependent-types	36
haskell	35
euler-diagrams	34
spider-diagrams	20
constraint-diagrams	18
automated-reasoning	12
dsel	9
ocl	9
theorem-proving	6
models-of-computation	5
agda	5
formal-methods	4
ocaml	4
category-theory	4
generics	4
coq	4
uml	3
maths	3
epigram	3
monads	2
curry-howard	2
meta-programming	2
arrows	2
lambda-calculus	2
ml	2
frp	1
z	1
conceptual-graphs	1
erlang	1

jimburton's Thompson:S [11 articles] Export

jimburton's tags