Machine assisted proofs in the theory of monads
author
Altenkirch, Thorsten
Chapman, James
Uustalu, Tarmo
statement of authorship
T.Altenkirch, J.Chapman, T.Uustalu
source
21st Nordic Workshop on Programming Theory : NWPT 2009 : Lyngby, Denmark, 14-16 October 2009 : proceedings
location of publication
Lyngby
publisher
Technical University of Denmark
year of publication
2009
pages
p. 83-85
url
https://jmchapman.io/papers/Assisted_Monads.pdf
subject term
monaadid
teooriad
tõestused
ISBN
978-87-643-0565-4
language
inglise