Direkt zum Inhalt

Proving Inequational Propositions about Haskell Programs in Coq

Zitieren

Christiansen J, Dylus S. Proving Inequational Propositions about Haskell Programs in Coq.
Christiansen, J., & Dylus, S. Proving Inequational Propositions about Haskell Programs in Coq.
Christiansen, Jan, und Sandra Dylus. o. J. „Proving Inequational Propositions About Haskell Programs In Coq“.
Christiansen, Jan, und Sandra Dylus. „Proving Inequational Propositions About Haskell Programs In Coq“. : n. pag. Print.
Christiansen, J., und S. Dylus. Proving Inequational Propositions About Haskell Programs In Coq.