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