KASPAAR bibliography (incomplete)

gistfile1.txt

P. Wadler -
Propositions As Types
Monads for Functional programming 


Course in General Linguistics - Ferdinand de Saussure
Homotopy Type Theory - Univalent Foundations of Mathematics
On the Meanings of the Logical Constants and the Justifications of the Logical Laws - Per Martin-Löf
Proofs & Types - Yves Girad
Lectures on the Curry Howard Isomorpism -  Morten Heine Sørensen M.Sc Ph.D (Author), Pawel Urzyczyn prof. dr hab. (Author)
Categories for the working mathematician - Saunders Mac Lane
Notions of computation and monads - Moggi
Parameterised Notions of compuations - Bob Atkey

Charles sanders pierce - TODO

Adrian Piper -
Out of order, out of sight

Maria Eichorn - TODO

Hal Foster - TODO

Bart Jacobs
Abstract & Concrete categories the joy of cats 
Categorical logic and Type Theory

Saul Kripke -
Identity & Necessity 
Naming & Necessity
Reference & Existence 

Jean Baudrillard -
For a Critique of the Political Economy of the Sign
The Mirror of Production
Symbolic Exchange and Death
Simulacra and Simulation
America
The Ecstasy of Communication
The Gulf War Did Not Take Place
The Spirit of Terrorism: And Requiem for the Twin Towers
Carnival and Cannibal, or the Play of Global Antagonisms

Pierre Bourdieu
Forms of Capital
Distinction: A Social Critique of the Judgment of Taste
Language and Symbolic Power

Giorgio Agamben
Homo Sacer: Sovereign Power and Bare Life (1998)
The Kingdom and the Glory: For a Theological Genealogy of Economy and Government (2011)

Bülent Diken
Nihilism
Becomoing Abject Rape as weapon of war

Julia Kristeva
Powers of Horror