Blood, Sweat and Cheers: Absurdist Crime Films and Contemporary Society

Within the crime film tradition there is a plethora of sub-genres all of which relate to crime and its consequences. However, directors Joel and Ethan Coen, Quentin Tarantino and David Lynch, all of whom create plots around crime and criminality, have been difficult to pin down and attribute to any given sub-genre. This thesis demonstrates that an absurdist philosophy can be used to effectively examine the content of the previously mentioned filmmakers. Through an analysis of these filmmakers and their better known works compelling evidence is revealed suggesting that these filmmakers may all belong to the emerging crime film sub-genre known as absurdist crime films.

L-Fuzzy Relations in Coq

Heyting categories, a variant of Dedekind categories, and Arrow categories provide a convenient framework for expressing and reasoning about fuzzy relations and programs based on those methods. In this thesis we present an implementation of Heyting and arrow categories suitable for reasoning and program execution using Coq, an interactive theorem prover based on Higher-Order Logic (HOL) with dependent types. This implementation can be used to specify and develop correct software based on L-fuzzy relations such as fuzzy controllers. We give an overview of lattices, L-fuzzy relations, category theory and dependent type theory before describing our implementation. In addition, we provide examples of program executions based on our framework.