Merkliste 
 1 Ergebnisse 
 
1

Formal microeconomic foundations and the first welfare theo..:

, In: Proceedings of the 7th ACM SIGPLAN International Conference on Certified Programs and Proofs,
Kaliszyk, Cezary ; Parsert, Julian - p. 91-101 , 2018