Abstract
We show how to write generic programs and proofs in Martin-Lof type theory. To this end we consider several extensions of Martin-Lof's logical framework for dependent types. Each extension has a un...
Paper version not known (Free)
Published Version
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have