Opis

• Tytuł:
  Elementary Proof of Strong Normalization for Atomic F
• Twórca:
  Ferreira, Fernando;
  Ferreira, Gilda
• Współtwórca:
  Universidade de Lisboa, Faculdade de Ciências, Departamento de Matemática;
  Universidade Lusófona de Humanidades e Tecnologias, Departamento de Matemática;
  fjferreira@fc.ul.pt;
  gmferreira@fc.ul.pt
• Opis:
  We give an elementary proof (in the sense that it is formalizable in Peano arithmetic) of the strong normalization of the atomic polymorphic calculus Fₐₜ (a predicative restriction of Girard’s system F).
• Dostępność obiektu:
  Dostęp otwarty
• Prawa:
  © Copyright by Authors, Łódź 2016; © Copyright for this edition by Uniwersytet Łódzki, Łódź 2016
• Data:
  2017.05.16;
  2016
• Typ:
  Article
• Język:
  angielski;
  eng
• Format:
  application/pdf
• Wydawca:
  Wydawnictwo Uniwersytetu Łódzkiego
• Relacja:
  Bulletin of the Section of Logic;1;
  45
• Temat i słowa kluczowe:
  Predicative polymorphism;
  strong normalization;
  elementary proofs;
  lambda-calculus
• Identyfikator:
  0138-0680;
  http://hdl.handle.net/11089/21620 ;
  2449-836X;
  10.18778/0138-0680.45.1.01
• Dostawca danych:
  Repozytorium Uniwersytetu Łódzkiego
• Czy mogę z tego obiektu skorzystać?:
  poproś o pozwolenie
• Rodzaj zawartości:
  obrazy