Catálogo de publicaciones - libros
A Modern Perspective on Type Theor: From its Origins until Today
Fairouz Kamareddine Twan Laan Rob Nederpelt
Resumen/Descripción – provisto por la editorial
No disponible.
Palabras clave – provistas por la editorial
Mathematical Logic and Foundations; Mathematics of Computing; Logic
Disponibilidad
Institución detectada | Año de publicación | Navegá | Descargá | Solicitá |
---|---|---|---|---|
No detectada | 2005 | SpringerLink |
Información
Tipo de recurso:
libros
ISBN impreso
978-1-4020-2334-7
ISBN electrónico
978-1-4020-2335-4
Editor responsable
Springer Nature
País de edición
Reino Unido
Fecha de publicación
2005
Información sobre derechos de publicación
© Springer Science + Business Media, Inc. 2005
Cobertura temática
Tabla de contenidos
Introduction
Fairouz Kamareddine; Twan Laan; Rob Nederpelt
The consideration of whether to adopt rapid prototyping (RP) technology in general or a specific system in particular is not a trivial issue for most organizations. This technology has influences and has implications for a variety of intra-organizational functions and inter-organizational boundaries. The decision issues faced by these organizations include the balancing of needs across the organization and its partners, consideration of tangible and intangible factors, and the consideration of strategic and operational dimensions. In this chapter we introduce some of the categories of attributes and factors that organizations need to consider. The various factors are then evaluated using a multiattribute utility model called the analytical network process. An illustrative example provides insights into the execution of the technique. The technique is useful due to its capability to consider the many relationships and influences among the factors. It is also flexible enough to consider perceptual as well as more objective data and information when analyzing the problem situation.
- Introduction | Pp. 1-6
Prehistory
Fairouz Kamareddine; Twan Laan; Rob Nederpelt
The consideration of whether to adopt rapid prototyping (RP) technology in general or a specific system in particular is not a trivial issue for most organizations. This technology has influences and has implications for a variety of intra-organizational functions and inter-organizational boundaries. The decision issues faced by these organizations include the balancing of needs across the organization and its partners, consideration of tangible and intangible factors, and the consideration of strategic and operational dimensions. In this chapter we introduce some of the categories of attributes and factors that organizations need to consider. The various factors are then evaluated using a multiattribute utility model called the analytical network process. An illustrative example provides insights into the execution of the technique. The technique is useful due to its capability to consider the many relationships and influences among the factors. It is also flexible enough to consider perceptual as well as more objective data and information when analyzing the problem situation.
Part I - The Evolution of Type Theory until the 1940s | Pp. 3-18
Type theory in Principia Mathematica
Fairouz Kamareddine; Twan Laan; Rob Nederpelt
The consideration of whether to adopt rapid prototyping (RP) technology in general or a specific system in particular is not a trivial issue for most organizations. This technology has influences and has implications for a variety of intra-organizational functions and inter-organizational boundaries. The decision issues faced by these organizations include the balancing of needs across the organization and its partners, consideration of tangible and intangible factors, and the consideration of strategic and operational dimensions. In this chapter we introduce some of the categories of attributes and factors that organizations need to consider. The various factors are then evaluated using a multiattribute utility model called the analytical network process. An illustrative example provides insights into the execution of the technique. The technique is useful due to its capability to consider the many relationships and influences among the factors. It is also flexible enough to consider perceptual as well as more objective data and information when analyzing the problem situation.
Part I - The Evolution of Type Theory until the 1940s | Pp. 19-67
Deramification
Fairouz Kamareddine; Twan Laan; Rob Nederpelt
The consideration of whether to adopt rapid prototyping (RP) technology in general or a specific system in particular is not a trivial issue for most organizations. This technology has influences and has implications for a variety of intra-organizational functions and inter-organizational boundaries. The decision issues faced by these organizations include the balancing of needs across the organization and its partners, consideration of tangible and intangible factors, and the consideration of strategic and operational dimensions. In this chapter we introduce some of the categories of attributes and factors that organizations need to consider. The various factors are then evaluated using a multiattribute utility model called the analytical network process. An illustrative example provides insights into the execution of the technique. The technique is useful due to its capability to consider the many relationships and influences among the factors. It is also flexible enough to consider perceptual as well as more objective data and information when analyzing the problem situation.
Part I - The Evolution of Type Theory until the 1940s | Pp. 69-101
Propositions as Types and Pure Type Systems
Fairouz Kamareddine; Twan Laan; Rob Nederpelt
The consideration of whether to adopt rapid prototyping (RP) technology in general or a specific system in particular is not a trivial issue for most organizations. This technology has influences and has implications for a variety of intra-organizational functions and inter-organizational boundaries. The decision issues faced by these organizations include the balancing of needs across the organization and its partners, consideration of tangible and intangible factors, and the consideration of strategic and operational dimensions. In this chapter we introduce some of the categories of attributes and factors that organizations need to consider. The various factors are then evaluated using a multiattribute utility model called the analytical network process. An illustrative example provides insights into the execution of the technique. The technique is useful due to its capability to consider the many relationships and influences among the factors. It is also flexible enough to consider perceptual as well as more objective data and information when analyzing the problem situation.
Part II - Propositions as Types, Pure Type Systems, AUTOMATH | Pp. 105-123
The pre-PAT RTT and STT in PAT-style
Fairouz Kamareddine; Twan Laan; Rob Nederpelt
The consideration of whether to adopt rapid prototyping (RP) technology in general or a specific system in particular is not a trivial issue for most organizations. This technology has influences and has implications for a variety of intra-organizational functions and inter-organizational boundaries. The decision issues faced by these organizations include the balancing of needs across the organization and its partners, consideration of tangible and intangible factors, and the consideration of strategic and operational dimensions. In this chapter we introduce some of the categories of attributes and factors that organizations need to consider. The various factors are then evaluated using a multiattribute utility model called the analytical network process. An illustrative example provides insights into the execution of the technique. The technique is useful due to its capability to consider the many relationships and influences among the factors. It is also flexible enough to consider perceptual as well as more objective data and information when analyzing the problem situation.
Part II - Propositions as Types, Pure Type Systems, AUTOMATH | Pp. 125-152
A Correspondence between RTT and the system Nuprl
Fairouz Kamareddine; Twan Laan; Rob Nederpelt
The consideration of whether to adopt rapid prototyping (RP) technology in general or a specific system in particular is not a trivial issue for most organizations. This technology has influences and has implications for a variety of intra-organizational functions and inter-organizational boundaries. The decision issues faced by these organizations include the balancing of needs across the organization and its partners, consideration of tangible and intangible factors, and the consideration of strategic and operational dimensions. In this chapter we introduce some of the categories of attributes and factors that organizations need to consider. The various factors are then evaluated using a multiattribute utility model called the analytical network process. An illustrative example provides insights into the execution of the technique. The technique is useful due to its capability to consider the many relationships and influences among the factors. It is also flexible enough to consider perceptual as well as more objective data and information when analyzing the problem situation.
Part II - Propositions as Types, Pure Type Systems, AUTOMATH | Pp. 153-177
Automath
Fairouz Kamareddine; Twan Laan; Rob Nederpelt
The consideration of whether to adopt rapid prototyping (RP) technology in general or a specific system in particular is not a trivial issue for most organizations. This technology has influences and has implications for a variety of intra-organizational functions and inter-organizational boundaries. The decision issues faced by these organizations include the balancing of needs across the organization and its partners, consideration of tangible and intangible factors, and the consideration of strategic and operational dimensions. In this chapter we introduce some of the categories of attributes and factors that organizations need to consider. The various factors are then evaluated using a multiattribute utility model called the analytical network process. An illustrative example provides insights into the execution of the technique. The technique is useful due to its capability to consider the many relationships and influences among the factors. It is also flexible enough to consider perceptual as well as more objective data and information when analyzing the problem situation.
Part II - Propositions as Types, Pure Type Systems, AUTOMATH | Pp. 179-230
Pure Type Systems with definitions
Fairouz Kamareddine; Twan Laan; Rob Nederpelt
When comparing λ68 to other type systems with definitions, we find an important difference. In λ68, the correspondence between types of definiendum and definiens differs from the similar correspondence in the systems in [137] and [14].
The reason why λ68 differs from other theories in this respect has been discussed in Section 7b3: The definition system in AUTOMATH allows to occur in the definiens, and there is no parameter mechanism in PTSs. In Chapters 9 and 10, we extend PTSs with a parameter mechanism. This extension has -68 as a subsystem. Moreover, we show that a parameter mechanism has also other advantages.
Part III - Extensions of Pure Type Systems | Pp. 233-241
The Barendregt cube with parameters
Fairouz Kamareddine; Twan Laan; Rob Nederpelt
The consideration of whether to adopt rapid prototyping (RP) technology in general or a specific system in particular is not a trivial issue for most organizations. This technology has influences and has implications for a variety of intra-organizational functions and inter-organizational boundaries. The decision issues faced by these organizations include the balancing of needs across the organization and its partners, consideration of tangible and intangible factors, and the consideration of strategic and operational dimensions. In this chapter we introduce some of the categories of attributes and factors that organizations need to consider. The various factors are then evaluated using a multiattribute utility model called the analytical network process. An illustrative example provides insights into the execution of the technique. The technique is useful due to its capability to consider the many relationships and influences among the factors. It is also flexible enough to consider perceptual as well as more objective data and information when analyzing the problem situation.
Part III - Extensions of Pure Type Systems | Pp. 243-254