Ranald Clouston

Ranald A. Clouston

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

2011

5 Ranald Clouston: Nominal Logic with Equations Only LFMTP 2011: 44-57

4 Ranald Clouston: Nominal Lawvere Theories. WoLLIC 2011: 67-83

2010

3 Ranald Clouston: Binding in Nominal Equational Logic. Electr. Notes Theor. Comput. Sci. 265: 259-276 (2010)

2007

2 Ranald A. Clouston, Andrew M. Pitts: Nominal Equational Logic. Electr. Notes Theor. Comput. Sci. 172: 223-257 (2007)

2005

1 Ranald Clouston, Robert Goldblatt: Covarieties of Coalgebras: Comonads and Coequations. ICTAC 2005: 288-302

	2011
5		Ranald Clouston: Nominal Logic with Equations Only LFMTP 2011: 44-57
4		Ranald Clouston: Nominal Lawvere Theories. WoLLIC 2011: 67-83
	2010
3		Ranald Clouston: Binding in Nominal Equational Logic. Electr. Notes Theor. Comput. Sci. 265: 259-276 (2010)
	2007
2		Ranald A. Clouston, Andrew M. Pitts: Nominal Equational Logic. Electr. Notes Theor. Comput. Sci. 172: 223-257 (2007)
	2005
1		Ranald Clouston, Robert Goldblatt: Covarieties of Coalgebras: Comonads and Coequations. ICTAC 2005: 288-302

Coauthor Index

Last update Tue May 29 20:41:18 2012 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page