Observatorio de I+D+i UPM

Memorias de investigación
Book chapters:
Cut Elimination in the Intuitionistic Theory of Types with Axioms and Rewriting Cuts, Constructively
Year:2008
Research Areas
  • Programming language
Information
Abstract
Reasoning in Simple Type Theory is a collection of papers that includes reprints of eight seminal papers in this area as well as thirteen new contributed articles. For the reprints we have chosen a paper by Alonzo Church (introducing his simple theory of types), a paper by Leon Henkin (proving completeness of Church's type theory relative to Henkin's semantics) and some of the most important papers by Peter Andrews. The new articles were contributed by Peter Andrews and his students and collaborators as well as a number of researchers his work has influenced. The volume intends to show the historical development of this important area of formal reasoning up to its current state of art and appears in honor of Peter Andrews on his 70th birthday.
International
Si
Book Edition
0
Book Publishing
IFCoLog
ISBN
978-1904987703
Series
Studies in Logic and the Foundations of Mathematics
Book title
Festschrift in Honor of Peter B. Andrews on His 70th Birthday
From page
20
To page
45
Participants
  • Autor: Olivier Hermant (Université Paris VII - Denis Diderot, Francia)
  • Autor: James Lipton . (UPM)
Research Group, Departaments and Institutes related
  • Creador: Grupo de Investigación: BABEL: Desarrollo de Software Fiable y de Alta Calidad a partir de Tecnología Declarativa
  • Departamento: Lenguajes y Sistemas Informáticos e Ingeniería de Software
S2i 2019 Observatorio de investigación @ UPM con la colaboración del Consejo Social UPM
Cofinanciación del MINECO en el marco del Programa INNCIDE 2011 (OTR-2011-0236)
Cofinanciación del MINECO en el marco del Programa INNPACTO (IPT-020000-2010-22)