Autor:	Niqui, M., Bertot, Yves, Berardi, Stefano, Coppo, Mario, Damiani, Ferruccio
Rok vydání:	2004
Zdroj:	Berardi, Stefano; Coppo, Mario; Damiani, Ferruccio (ed.), Types for Proofs and Programs: International Workshop, TYPES 2003, Torino, Italy, April 30--May 4, 2003, Revised Selected Papers, 309-323. Berlin : Springer STARTPAGE=309;ENDPAGE=323;ISSN=0302-9743;TITLE=Berardi, Stefano; Coppo, Mario; Damiani, Ferruccio (ed.), Types for Proofs and Programs: International Workshop, TYPES 2003, Torino, Italy, April 30--May 4, 2003, Revised Selected Papers
ISSN:	0302-9743
DOI:	10.1007/978-3-540-24849-1_20
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::c61f403700e9370547aa74f7990de693 https://doi.org/10.1007/978-3-540-24849-1_20 Zobrazit plný text záznamu