The next 700 syntactical models of type theory

Full Text: PDFPDF Get this ArticleGet this Article
Authors: Simon Boulier Inria, France
Pierre-Marie Pédrot Inria, France
Nicolas Tabareau Inria, France
Published in:
Cover Image
 
· Proceeding
CPP 2017 Proceedings of the 6th ACM SIGPLAN Conference on Certified Programs and Proofs
Pages 182-194

Paris, France — January 16 - 17, 2017
ACM New York, NY, USA ©2017
table of contents ISBN: 978-1-4503-4705-1 doi>10.1145/3018610.3018620
The next 700 syntactical models of type theory Published by ACM 2017 Article
Bibliometrics Data  Bibliometrics
· Citation Count: 2
· Downloads (cumulative): 231
· Downloads (12 Months): 42
· Downloads (6 Weeks): 5


Tools and Resources

Share:

|
Author Tags Expand Author Tags
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 © 2018 ACM, Inc.
Terms of Usage   Privacy Policy   Code of Ethics   Contact Us