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
.
January 2009
November 2008
Home
Subscribe to:
Posts (Atom)
Blog Archive
►
2009
(10)
►
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
Lambda the Ultimate - Programming Languages Weblog
Scheduled downtime
6 hours ago
Language Log
The BBC on why we have language
13 hours ago
Biosimilarity
A bridge between nominal and positional information
14 hours ago
Luke Palmer
Gravmari Released!
1 day ago
Entia et Nomina
What we don't need to save ordinary conditionals from
2 days ago
Time
Links for 11/6/09
3 days ago
Gowers's Weblog
Polymath and the origin of life
3 days ago
Gyre&Gimble
Definitions into mathematical objects 9
3 days ago
The n-Category Café
Fraïssé Limits
3 days ago
A Neighborhood of Infinity
Memoizing Polymorphic Functions with High School Algebra and Quantifiers
5 days ago
consequently.org/writing
On Permutation in Simplified Semantics
1 week ago
Shtetl-Optimized
BQP Aarlines
1 week ago
okmij.org
1 week ago
FP Lunch
Parser combinators are as expressive as possible
1 week ago
Nothing of Consequence
Thrice Denied: FLC Workshop
2 weeks ago
Teaching, Playing, and Programming
Binomial queues as a nested type
2 weeks ago
LogBlog
The Development of Modern Logic Online
3 weeks ago
Wadler's Blog
Conference Collected Wisdom Wiki
3 weeks ago
Mathematics and Computation
Constructive gem: double exponentials
4 weeks ago
Opinions of Doron Zeilberger
Opinion 103: Israel Moisevich Gelfand (Sept. 2, 1913-Oct. 5, 2009)
4 weeks ago
Blogue à tabac
Pointilleux
2 months ago
∃xistential Type
Mining Yahoo Images for color schemes
2 months ago
Epilogue
PigWeek: Friday
3 months ago
Shin-Cheng Mu
Determining List Steepness in a Homomorphism
4 months ago
Conal Elliott
Memoizing polymorphic functions - part two
4 months ago
Proper Treatment 正當作法
NP
5 months ago