skip to main
|
skip to sidebar
The Paralyzing Paradoxes of Professor Polaro
Primarily about proofs and programs
Wednesday, December 24, 2008
bipolarism theory
Another
interesting conference
, on
Bi-Polarism Theory and Mathematics is Inconsistent
. And while you're in the holiday spirit, check out
The Twelf Days of Christmas
.
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
.
Newer Posts
Older Posts
Home
Subscribe to:
Posts (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
Shtetl-Optimized
The mini-singularity
4 hours ago
Language Log
Calculus bovis: bezoar, part 3
11 hours ago
consequently.org/writing
Modal Logic and Contingent Existence (Generality and Existence 2)
1 day ago
The n-Category Café
The Dual Concept of Injection
5 days ago
Wadler's Blog
Telnaes quits The Washington Post
2 weeks ago
okmij.org
Complete Stream Fusion for Software-Defined Radio:
2 weeks ago
Mathematics and Computation
Space-filling curves, constructively
11 months ago
Lambda the Ultimate - Programming Languages Weblog
Platonic C# - Managing Referential Transparency through Unique Types
1 year 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)
4 years ago
Gowers's Weblog
Advances in Combinatorics fully launched
5 years ago
A Neighborhood of Infinity
Why is nuclear fusion so hard?
6 years ago
Entia et Nomina
Assistant professorship in formal philosophy (UGdansk)
6 years ago
Nothing of Consequence
Your Personalized Weekly Traits Horoscope Full Review
8 years ago
FP Lunch
Article Writing Help Supplied By Professionals!
8 years ago
LogBlog
Open Logic Project
9 years ago
Proper Treatment 正當作法
Double blind
9 years ago
∃xistential Type
Some fresh links
11 years ago
Teaching, Playing, and Programming
Quickselect FTW!
11 years ago
Conal Elliott
Circuits as a bicartesian closed category
11 years ago
Gyre&Gimble
Blog has moved to new site
12 years ago
Blogue à tabac
Le web et la sémantique
13 years ago
Biosimilarity
The secret life of space
15 years ago
Opinions of Doron Zeilberger
Epilogue