Cezary Kaliszyk, Julian Parsert. Formal microeconomic foundations and the first welfare theorem. In June Andronick, Amy P. Felty, editors, Proceedings of the 7th ACM SIGPLAN International Conference on Certified Programs and Proofs, CPP 2018, Los Angeles, CA, USA, January 8-9, 2018. pages 91-101, ACM, 2018. [doi]
@inproceedings{KaliszykP18,
title = {Formal microeconomic foundations and the first welfare theorem},
author = {Cezary Kaliszyk and Julian Parsert},
year = {2018},
doi = {10.1145/3167100},
url = {http://doi.acm.org/10.1145/3167100},
researchr = {https://researchr.org/publication/KaliszykP18},
cites = {0},
citedby = {0},
pages = {91-101},
booktitle = {Proceedings of the 7th ACM SIGPLAN International Conference on Certified Programs and Proofs, CPP 2018, Los Angeles, CA, USA, January 8-9, 2018},
editor = {June Andronick and Amy P. Felty},
publisher = {ACM},
isbn = {978-1-4503-5586-5},
}