Carsten Varming

	2009
2		Nick Benton, Andrew Kennedy, Carsten Varming: Some Domain Theory and Denotational Semantics in Coq. TPHOLs 2009: 115-130
	2008
1		Carsten Varming, Lars Birkedal: Higher-Order Separation Logic in Isabelle/HOLCF. Electr. Notes Theor. Comput. Sci. 218: 371-389 (2008)

Coauthor Index

1	Nick Benton (P. N. Benton)	[2]
2	Lars Birkedal	[1]
3	Andrew Kennedy	[2]

Colors in the list of coauthors