Arthur Hughes

	2008
2		Wendy Verbruggen, Edsko de Vries, Arthur Hughes: Polytypic programming in COQ. ICFP-WGP 2008: 49-60
	2006
1		Malcolm Tyrrell, Joseph M. Morris, Andrew Butterfield, Arthur Hughes: A Lattice-Theoretic Model for an Algebra of Communicating Sequential Processes. ICTAC 2006: 123-137

Coauthor Index

1	Andrew Butterfield	[1]
2	Joseph M. Morris	[1]
3	Malcolm Tyrrell	[1]
4	Wendy Verbruggen	[2]
5	Edsko de Vries	[2]

Colors in the list of coauthors