Skip to content

Instantly share code, notes, and snippets.

What would you like to do?
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
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
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