Login / Signup
Equational Reasoning with Applicative Functors.
Andreas Lochbihler
Joshua Schneider
Published in:
ITP (2016)
Keyphrases
</>