Formal microeconomic foundations and the first welfare theorem
Cezary Kaliszyk and Julian Parsert
Book Title
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
Pages
91–101
Publisher
ACM
Year
2018