{
  "id": "0905.1557",
  "version": "v1",
  "published": "2009-05-11T06:46:12.000Z",
  "updated": "2009-05-11T06:46:12.000Z",
  "title": "A short proof of the strong normalization of the simply typed $λμ$-calculus",
  "authors": [
    "René David",
    "Karim Nour"
  ],
  "journal": "Chamb\\'ery-Krakow-Lyon: workshop on $\\lambda$-calculus, type theory and mathematical logic, Computer science department, Cracovic, Pologne, 27-28 Juin 2003, Cracovic : Pologne (2003)",
  "categories": [
    "math.LO"
  ],
  "abstract": "We give an elementary and purely arithmetical proof of the strong normalization of Parigot's simply typed $\\lambda\\mu$-calculus.",
  "revisions": [
    {
      "version": "v1",
      "updated": "2009-05-11T06:46:12.000Z"
    }
  ],
  "analyses": {
    "keywords": [
      "strong normalization",
      "short proof"
    ],
    "tags": [
      "journal article"
    ],
    "note": {
      "typesetting": "TeX",
      "pages": 0,
      "language": "en",
      "license": "arXiv",
      "status": "editable",
      "adsabs": "2009arXiv0905.1557D"
    }
  }
}