Verified Functional Programming in Agda
Autor:
Aaron Stump
Disponibilitate:
În depozitul extern
Expediem în 10-18 zile
549.58
lei
Provides a systematic exposition of external and internal verification in Agda, suitable for undergr...
