HEAL DSpace

Μηχανική κατασκευή συνεπαγωγικών (coinductive) αποδείξεων στη Liquid Haskell

DSpace/Manakin Repository

Μηχανική κατασκευή συνεπαγωγικών (coinductive) αποδείξεων στη Liquid Haskell

Title: Μηχανική κατασκευή συνεπαγωγικών (coinductive) αποδείξεων στη Liquid Haskell;
Mechanizing coinductive proofs in Liquid Haskell
Μαστόρου, Λυκούργος; Mastorou, Lykourgos
URI: https://dspace.lib.ntua.gr/xmlui/handle/123456789/56955
http://dx.doi.org/10.26240/heal.ntua.24653

Show full item record

Files in this item

[PDF]
Name: thesis.pdf
Size: 382.0Kb
Format: PDF
View/Open

This item appears in the following Collection(s)