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
Shtetl-Optimized
Happy 250th!
4 days ago
okmij.org
Modular Explicits:
6 days ago
Wadler's Blog
GPCE Distinguished Reviewer
1 week ago
The n-Category Café
Octonions and the Standard Model (Part 14)
3 weeks ago
Gowers's Weblog
A recent experience with ChatGPT 5.5 Pro
2 months ago
A Neighborhood of Infinity
Some type constructors are tensor products
2 months ago
Mathematics and Computation
Claude and I
2 months ago
Proper Treatment 正當作法
Babel-17
6 months ago
Language Log
Multiplication of unlawful disjunctions
11 months ago
consequently.org/writing
Finitude, Eternity, Love, the Good, and Martin Hägglund’s *This Life*
1 year ago
Lambda the Ultimate - Programming Languages Weblog
Platonic C# - Managing Referential Transparency through Unique Types
3 years ago
Shin-Cheng Mu
Longest segment of balanced parentheses — an exercise in program inversion in a segment problem
5 years ago
Luke Palmer
Misty’s Ditsy (Improv Game)
5 years ago
Entia et Nomina
Assistant professorship in formal philosophy (UGdansk)
7 years ago
Nothing of Consequence
Your Personalized Weekly Traits Horoscope Full Review
10 years ago
FP Lunch
Article Writing Help Supplied By Professionals!
10 years ago
LogBlog
Open Logic Project
11 years ago
∃xistential Type
Some fresh links
12 years ago
Teaching, Playing, and Programming
Quickselect FTW!
12 years ago
Conal Elliott
Circuits as a bicartesian closed category
12 years ago
Gyre&Gimble
Blog has moved to new site
14 years ago
Blogue à tabac
Le web et la sémantique
15 years ago
Biosimilarity
The secret life of space
16 years ago
Opinions of Doron Zeilberger
Epilogue
No comments:
Post a Comment