Observatorio de I+D+i UPM

Descripción
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.
Internacional	Si
DOI
Edición del Libro	0
Editorial del Libro	IFCoLog
ISBN	978-1904987703
Serie	Studies in Logic and the Foundations of Mathematics
Título del Libro	Festschrift in Honor of Peter B. Andrews on His 70th Birthday
Desde página	20
Hasta página	27

Esta actividad pertenece a memorias de investigación

• Autor: Aad Mathijssen (Department of Mathematics and Computer Science, Eindhoven University of Technology, Eindhoven, The Netherlands)
• Autor: Murdoch Gabbay (UPM)

• 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