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.
Posted by Noam at 2:16 PM

0 comments:

Post a Comment

Newer Post Older Post Home
Subscribe to: Post Comments (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