KASPAAR bibliography (incomplete)
| 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 | |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment