Pure type systems with judgemental equality

Author: Robin Adams Department of Computer Science, Royal Holloway, University of London, London, UK (e-mail: [email protected])
Published in:
· Journal
Journal of Functional Programming archive
Volume 16 Issue 2, March 2006
Pages 219 - 246
Cambridge University Press New York, NY, USA
table of contents doi>10.1017/S0956796805005770
Pure type systems with judgemental equality 2006 Article
Bibliometrics Data  Bibliometrics
· Citation Count: 9
· Downloads (cumulative): n/a
· Downloads (12 Months): n/a
· Downloads (6 Weeks): n/a


Tools and Resources

Share:

|
Contact The DL Team Contact Us | Switch to single page view (no tabs)

Powered by The ACM Guide to Computing Literature


The ACM Digital Library is published by the Association for Computing Machinery. Copyright © 2019 ACM, Inc.
Terms of Usage   Privacy Policy   Code of Ethics   Contact Us