% -*- coding: raw-text -*-
% My bibliography for philosophical aspects of skeletons of proofs
% (find-angg "LATEX/catsem.bib")
% (find-LATEXsh "~/LUA/bibtex.lua -b phil | tee tmp.tex")
% (find-LATEXsh "rm -fv tmp.{aux,bbl,blg}; latex tmp.tex; bibtex tmp; latex tmp.tex; latex tmp.tex")
% (find-dvipage "~/LATEX/tmp.dvi")
% file:///home/edrx/TH/L/LATEX/phil.bib.html

% (find-angg ".emacs.papers" "bibtex")
% (find-btxdocpage 1)
% (find-btxdoctext)
% (find-btxdoctext "techreport")
% (find-btxdoctext "article An article")
% (find-btxdoctext "Abbreviations are provided")
% (find-btxdoctext "misc Use this type when")
% (find-node "(web2c)Basic BibTeX style files")
% (find-sh "locate btxbst")
% (find-sh "locate btxbst")
% (find-fline "/usr/share/texmf-tetex/source/bibtex/germbib/document/btxbst.doc")

% (find-sh "locate 'bst' | grep 'bst$'")
% (find-fline "/usr/share/texmf-tetex/bibtex/bst/")
% (code-c-d "bst" "/usr/share/texmf-tetex/bibtex/bst/")
% (find-bstgrep "grep -niH -e journal $(find *)")
% (find-bstgrep "grep -niH -e 'journal of' $(find *)")
% (find-bstgrep "grep -nH -e 'Journal of the ACM' $(find *)")
% (find-bstfile "")

% (find-booksfile "")



Modality
  Bierman/dePaiva: S4
  Reyes/Zolfaghari: Topos-theoretic approaches to modality
  Alex Simpson?
  Carnielli?
  Tarski/McKinney/Kripke
  Elephant / geometrical morphisms

Morally
  Cheng: Mathematics, Morally
  Corfield: [Towards a Philosophy of Real Mathematics]
  Joyal/Street: On the Geometry of Tensor Calculus
  Kuhn
  Lakatos
  Mateja Hamnik: http://www.cl.cam.ac.uk/~mj201/research/book/index.html

Coherence:
  Kelly/Lack: On Property-Like Structures
  Wadler: The Girard/Reynods iso
  Wadler: Theorems for Free
  Dosen: Coherence
  Seely: Differential Cats (???)
  Barr: *-Autonomous Cats (????)

Polymorphism
  Pitts: Polymorphism is Set-Theoretic, constructively
  Reynolds: Polymorphism is not Set-Theoretic
  Seely: Categorical Semantics for Higher Order Polymorphic Lambda Calculus

Lawvere (easy book): external/internal view
Lawvere: hyperdoctrines ("healthy start")





Freyd: Algebraic categories

Jacobs: Tijolão
Jacobs: Comprehension Cats


Kock: A simple axiomatics for differentiation
MacLane: CWM