Media type: E-Article Title: Reduction and Conversion Strategies for the Calculus of (co)Inductive Constructions: Part I Contributor: Sacerdoti Coen, Claudio Published: Elsevier BV, 2007 Published in: Electronic Notes in Theoretical Computer Science, 174 (2007) 10, Seite 97-118 Language: English DOI: 10.1016/j.entcs.2007.02.050 ISSN: 1571-0661 Keywords: General Computer Science ; Theoretical Computer Science Origination: Footnote: Access State: Open Access