prindi

Machine assisted proofs in the theory of monads

autor
Altenkirch, Thorsten
Chapman, James
Uustalu, Tarmo
vastutusandmed
T.Altenkirch, J.Chapman, T.Uustalu
allikas
21st Nordic Workshop on Programming Theory : NWPT 2009 : Lyngby, Denmark, 14-16 October 2009 : proceedings
ilmumiskoht
Lyngby
kirjastus/väljaandja
Technical University of Denmark
ilmumisaasta
2009
leheküljed
p. 83-85
leitav
https://jmchapman.io/papers/Assisted_Monads.pdf
märksõna
monaadid
teooriad
tõestused
ISBN
978-87-643-0565-4
keel
inglise
Altenkirch, T., Chapman, J., Uustalu, T. Machine assisted proofs in the theory of monads // 21st Nordic Workshop on Programming Theory : NWPT 2009 : Lyngby, Denmark, 14-16 October 2009 : proceedings. Lyngby : Technical University of Denmark, 2009. p. 83-85. https://jmchapman.io/papers/Assisted_Monads.pdf