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 JeanPierre Marquis and Gonzalo E. Reyes' 116pagelong
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
The nCategory Café
On the Magnitude Function of Domains in Euclidean Space, III: Questions and Examples from a Geometric Analyst's Perspective
9 hours ago
Language Log
Technical analysis
9 hours ago
ShtetlOptimized
The Winding Road to Quantum Supremacy
1 week ago
Luke Palmer
Enough is Enough: On Criticism of Masculinity
1 week ago
okmij.org
Generating Mutually Recursive Definitions
3 weeks ago
Gowers's Weblog
How Craig Barton wishes he’d taught maths
4 weeks ago
A Neighborhood of Infinity
Why is nuclear fusion so hard?
1 month ago
Wadler's Blog
Plutusfest
1 month ago
Entia et Nomina
Assistant professorship in formal philosophy (UGdansk)
3 months ago
Lambda the Ultimate  Programming Languages Weblog
The Little Typer
3 months ago
Mathematics and Computation
How to implement type theory in an hour
4 months ago
Proper Treatment 正當作法
Very far away from anywhere else
2 years ago
Nothing of Consequence
Your Personalized Weekly Traits Horoscope Full Review
2 years ago
ShinCheng Mu
Formal derivation of greedy algorithms from relational specifications: a tutorial
2 years ago
FP Lunch
Article Writing Help Supplied By Professionals!
2 years ago
LogBlog
Open Logic Project
3 years ago
Biosimilarity
Why Synereo?
3 years ago
∃xistential Type
Some fresh links
5 years ago
Teaching, Playing, and Programming
Quickselect FTW!
5 years ago
Conal Elliott
Circuits as a bicartesian closed category
5 years ago
Gyre&Gimble
Blog has moved to new site
6 years ago
Blogue à tabac
Le web et la sémantique
7 years ago
Opinions of Doron Zeilberger
consequently.org/writing
Epilogue
No comments:
Post a Comment