skip to main
|
skip to sidebar
The Paralyzing Paradoxes of Professor Polaro
Primarily about proofs and programs
Thursday, December 4, 2008
a conference dedicated to Per Martin-Löf on the occasion of his retirement
This promises to be
a very exciting conference
.
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)
►
November
(1)
►
October
(2)
►
September
(2)
►
July
(2)
►
June
(1)
►
May
(1)
►
February
(1)
►
January
(1)
▼
2008
(11)
▼
December
(2)
bipolarism theory
a conference dedicated to Per Martin-Löf on the oc...
►
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
Argus Noun Pile Head Collection Notice
14 minutes ago
The n-Category Café
A Characterization of Relative Entropy (Part 1)
12 hours ago
Gowers's Weblog
The selected-papers network
3 days ago
Shtetl-Optimized
The Ghost in the Quantum Turing Machine
4 days ago
Wadler's Blog
Iain Banks
1 week ago
okmij.org
Cross-stage persistence
1 week ago
Lambda the Ultimate - Programming Languages Weblog
CFP: ACM High Integrity Language Technology (HILT 2013) due June 29th; conference in Pittsburgh Nov. 10-14
1 week ago
Entia et Nomina
Two jobs at Warsaw University (logic, phil of sci)
2 weeks ago
LogBlog
LaTeX Package for Typesetting Fitch Proofs LPL-Style
4 weeks ago
Luke Palmer
Polyamory and Respect
5 weeks ago
A Neighborhood of Infinity
Why Heisenberg can't stop atomic collapse
2 months ago
Mathematics and Computation
Free variables are not “implicitly universally quantified”!
5 months ago
Conal Elliott
Reimagining matrices
6 months ago
Proper Treatment 正當作法
Borderline, just semantics
6 months ago
Shin-Cheng Mu
Programming from Galois connections
1 year ago
Gyre&Gimble
Blog has moved to new site
1 year ago
Epilogue
Hier Soir, an OTT Hierarchy
1 year ago
Teaching, Playing, and Programming
On the Dangers of Giving Games as Wedding PresentsorWell, it seemed like a good idea at the time...
1 year ago
Biosimilarity
i am not a monad i am a free algebra! (Pt 4)
1 year ago
Blogue à tabac
Le web et la sémantique
2 years ago
FP Lunch
Red-black trees
2 years ago
Nothing of Consequence
I've started a new blog
2 years ago
consequently.org/writing
Always More
2 years ago
∃xistential Type
Fun with words
2 years ago
Opinions of Doron Zeilberger
Opinion 103: Israel Moisevich Gelfand (Sept. 2, 1913-Oct. 5, 2009)
3 years ago
No comments:
Post a Comment