Zitieren
Christiansen J, Dylus S. Proving Inequational Propositions about Haskell Programs in Coq.
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.
Proving Inequational Propositions About Haskell Programs In Coq.
.