Proofs Accompanying "Fast and Loose Reasoning is Morally Correct"
Rapport, 2007

This rough and unpolished document contains detailed proofs supporting the theoretical development in "Fast and Loose Reasoning is Morally Correct".

Författare

Nils Anders Danielsson

Chalmers, Data- och informationsteknik, Datavetenskap

Ämneskategorier

Datavetenskap (datalogi)

Technical report - Department of Computer Science and Engineering, Chalmers University of Technology and Göteborg University: 2007:15