Mathematical Formulae - Couverture souple

Kubota, Ken

Couverture souple

ISBN 10 : 3943334074 ISBN 13 : 9783943334074

Editeur : Owl of Minerva Press, 2017

Synopsis

This work contains the formula part of the presentation of the mathematical logic R₀, a further development of Peter B. Andrews' logic Q₀. The syntactic features provided by R₀ are type variables (polymorphic type theory), the binding of type variables with the abstraction operator and single variable binder λ (type abstraction), and (some of) the means necessary for dependent types (dependent type theory).

For more information, please see: http: //doi.org/10.4444/100.10

Détails de l'édition

• Éditeur: Owl of Minerva Press
• Date d'édition: 2017
• Langue: anglais
• ISBN 10: 3943334074
• ISBN 13: 9783943334074
• Reliure: Broché
• Nombre de pages: 830
• Coordonnées du fabricant: non disponible
• Personne responsable: non disponible