skip to main
|
skip to sidebar
The Paralyzing Paradoxes of Professor Polaro
Primarily about proofs and programs
Monday, December 21, 2009
The History of Categorical Logic
I'm currently making my way through Jean-Pierre Marquis and Gonzalo E. Reyes' 116-page-long
The History of Categorical Logic
, and it is fascinating. Someone needs to
make it into a comic book
. [HT:
This Week's Finds
]
No comments:
Post a Comment
Newer Post
Older Post
Home
Subscribe to:
Post Comments (Atom)
Blog Archive
►
2010
(5)
►
September
(1)
►
May
(2)
►
April
(1)
►
January
(1)
▼
2009
(12)
▼
December
(1)
The History of Categorical Logic
►
November
(1)
►
October
(2)
►
September
(2)
►
July
(2)
►
June
(1)
►
May
(1)
►
February
(1)
►
January
(1)
►
2008
(11)
►
December
(2)
►
November
(1)
►
July
(1)
►
April
(3)
►
March
(1)
►
February
(1)
►
January
(2)
►
2007
(5)
►
November
(2)
►
July
(1)
►
June
(2)
About Me
Noam
View my complete profile
Some Interesting Blogs
Language Log
Software testing day
1 hour ago
The n-Category Café
Line Bundles on Complex Tori (Part 5)
3 days ago
Shtetl-Optimized
My Passover press release
1 week ago
okmij.org
Optimizing AXPY with Twists and Turns:
2 weeks ago
consequently.org/writing
Reflections on Brady's Logic of Meaning Containment
3 weeks ago
Mathematics and Computation
Space-filling curves, constructively
3 months ago
A Neighborhood of Infinity
What does it mean for a monad to be strong?
8 months ago
Wadler's Blog
Orwell was right
8 months ago
Lambda the Ultimate - Programming Languages Weblog
Platonic C# - Managing Referential Transparency through Unique Types
1 year ago
Gowers's Weblog
Announcing an automatic theorem proving project
2 years ago
Shin-Cheng Mu
Longest segment of balanced parentheses — an exercise in program inversion in a segment problem
3 years ago
Luke Palmer
Misty’s Ditsy (Improv Game)
3 years ago
Entia et Nomina
Assistant professorship in formal philosophy (UGdansk)
5 years ago
Proper Treatment 正當作法
Very far away from anywhere else
7 years ago
Nothing of Consequence
Your Personalized Weekly Traits Horoscope Full Review
7 years ago
FP Lunch
Article Writing Help Supplied By Professionals!
8 years ago
LogBlog
Open Logic Project
8 years ago
Biosimilarity
Why Synereo?
9 years ago
∃xistential Type
Some fresh links
10 years ago
Teaching, Playing, and Programming
Quickselect FTW!
10 years ago
Conal Elliott
Circuits as a bicartesian closed category
10 years ago
Gyre&Gimble
Blog has moved to new site
12 years ago
Blogue à tabac
Le web et la sémantique
12 years ago
Opinions of Doron Zeilberger
Epilogue
No comments:
Post a Comment