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
]
0 comments:
Post a Comment
Newer Post
Older Post
Home
Subscribe to:
Post Comments (Atom)
Blog Archive
►
2010
(5)
►
September
(1)
reflecting and reifying the state monad
►
May
(2)
Five kinds of double-negation
Polarity and the logic of delimited continuations
►
April
(1)
"One of the first things to learn about category t...
►
January
(1)
Twelf, my favorite general-purpose functional prog...
▼
2009
(12)
▼
December
(1)
The History of Categorical Logic
►
November
(1)
What is the logic of ML values?
►
October
(2)
Big-Step Normalisation
Normalization-By-Evaluation, Normalization-By-Focu...
►
September
(2)
More on LOGICOMIX, from Richard Zach
Review of LOGICOMIX
►
July
(2)
Defunctionalizing proofs (revised + extended editi...
The Value of the Free Man
►
June
(1)
The Proofs of Life After Death: a 20th Century Sym...
►
May
(1)
The Logical Basis of Evaluation Order and Pattern-...
►
February
(1)
On the meaning of logical completeness
►
January
(1)
Defunctionalizing Proofs (and how to define a patt...
►
2008
(11)
►
December
(2)
bipolarism theory
a conference dedicated to Per Martin-Löf on the oc...
►
November
(1)
lies and updates
►
July
(1)
Refinement types and computational duality
►
April
(3)
Today is election day...
a paper
just wait a second...
►
March
(1)
anglo-franco photos
►
February
(1)
transatlantic updates
►
January
(2)
Fun with polarity and unicode
Back from POPL, forward to AGDA
►
2007
(5)
►
November
(2)
lucidity vs ludicity, and translating one esoteric...
Location: PHI Bar
►
July
(1)
Synthetic topology
►
June
(2)
A topology of cut-elimination
Preliminaries
About Me
Noam
View my complete profile
Some Interesting Blogs
Mathematics and Computation
Eff 3.0
8 hours ago
Language Log
Shedding and casting doubt and light
23 hours ago
Wadler's Blog
CS2013 draft is out! Now it's your turn to comment.
1 day ago
The n-Category Café
The Multiplicativity of Fixed-Point Invariants
2 days ago
Lambda the Ultimate - Programming Languages Weblog
What does focusing tell us about language design?
3 days ago
okmij.org
Delimited continuations do dynamic-wind
4 days ago
Luke Palmer
Beliefs and Truth
5 days ago
Shtetl-Optimized
Tell President Obama to support the Federal Research Public Access Act
1 week ago
Entia et Nomina
Mereology conference, more details
1 week ago
Gowers's Weblog
Elsevier withdraws support for the Research Works Act
1 week ago
Gyre&Gimble
Blog has moved to new site
2 weeks ago
A Neighborhood of Infinity
Using Lawvere theories to combine effects
3 weeks ago
LogBlog
Postdoc in Logic or Philosophy of Science
4 weeks ago
Shin-Cheng Mu
Proving the Church-Rosser Theorem Using a Locally Nameless Representation
3 months ago
Epilogue
Hier Soir, an OTT Hierarchy
3 months ago
Teaching, Playing, and Programming
On the Dangers of Giving Games as Wedding PresentsorWell, it seemed like a good idea at the time...
4 months ago
Proper Treatment 正當作法
Why not covariant generics?
4 months ago
Biosimilarity
i am not a monad i am a free algebra! (Pt 4)
6 months ago
Conal Elliott
Blog borked
8 months ago
Blogue à tabac
Le web et la sémantique
9 months ago
FP Lunch
Red-black trees
10 months ago
Nothing of Consequence
I've started a new blog
1 year ago
consequently.org/writing
Always More
1 year ago
∃xistential Type
Fun with words
1 year ago
Opinions of Doron Zeilberger
Opinion 103: Israel Moisevich Gelfand (Sept. 2, 1913-Oct. 5, 2009)
2 years ago
0 comments:
Post a Comment