Carlos Simpson

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

- CSB - MetaPress - Google - Bing - Yahoo

2008

3 Carlos Simpson: Algebraic cycles from a computational point of view. Theor. Comput. Sci. 392(1-3): 128-140 (2008)

2006

2 Carlos Simpson: Explaining Gabriel-Zisman Localization to the Computer. J. Autom. Reasoning 36(3): 259-285 (2006)

2002

1 Laurent Chicli, Loic Pottier, Carlos Simpson: Mathematical Quotients and Quotient Types in Coq. TYPES 2002: 95-107

	2008
3		Carlos Simpson: Algebraic cycles from a computational point of view. Theor. Comput. Sci. 392(1-3): 128-140 (2008)
	2006
2		Carlos Simpson: Explaining Gabriel-Zisman Localization to the Computer. J. Autom. Reasoning 36(3): 259-285 (2006)
	2002
1		Laurent Chicli, Loic Pottier, Carlos Simpson: Mathematical Quotients and Quotient Types in Coq. TYPES 2002: 95-107

Coauthor Index

1 Laurent Chicli [1]

2 Loic Pottier [1]