Proving Inequational Propositions about Haskell Programs in Coq Christiansen, J. ., & Dylus, S. . Proving Inequational Propositions about Haskell Programs in Coq. Suche auf Google Scholar Exportformate BibTeX EndNote X3 XML EndNote 7 XML EndNote tagged RIS Weiterführende Links anzeigen ▸ Personenseiten Christiansen, Jan Fachbereich Fachbereich 3: Information und Kommunikation Filter Tags Unpublished Jan Christiansen Sandra Dylus
