Explicit mathematics: power types and overloading

Annals of Pure and Applied Logic 134 (2-3):284-302 (2005)
  Copy   BIBTEX

Abstract

Systems of explicit mathematics provide an axiomatic framework for representing programs and proving properties of them. We introduce such a system with a new form of power types using a monotone power type generator. These power types allow us to model impredicative overloading. This is a very general form of type dependent computation which occurs in the study of object-oriented programming languages. We also present a set-theoretic interpretation for monotone power types. Thus establishing the consistency our system of explicit mathematics

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 90,593

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Power types in explicit mathematics?Gerhard Jäger - 1997 - Journal of Symbolic Logic 62 (4):1142-1146.
Uniform inseparability in explicit mathematics.Andrea Cantini & Pierluigi Minari - 1999 - Journal of Symbolic Logic 64 (1):313-326.
On power set in explicit mathematics.Thomas Glass - 1996 - Journal of Symbolic Logic 61 (2):468-489.
Realisability in weak systems of explicit mathematics.Daria Spescha & Thomas Strahm - 2011 - Mathematical Logic Quarterly 57 (6):551-565.
Universes in explicit mathematics.Gerhard Jäger, Reinhard Kahle & Thomas Studer - 2001 - Annals of Pure and Applied Logic 109 (3):141-162.
Explicit mathematics with the monotone fixed point principle.Michael Rathjen - 1998 - Journal of Symbolic Logic 63 (2):509-542.
The NCTM Standards and the Philosophy of Mathematics.Charalampos Toumasis - 1997 - Studies in Philosophy and Education 16 (3):317-330.
Realization of analysis into explicit mathematics.Sergei Tupailo - 2001 - Journal of Symbolic Logic 66 (4):1848-1864.
What is special about “implicit” and “explicit”?Geir Overskeid - 1999 - Behavioral and Brain Sciences 22 (5):780-780.
Liberty as power.Preston King - 1999 - Critical Review of International Social and Political Philosophy 2 (3):1-25.

Analytics

Added to PP
2014-01-16

Downloads
10 (#1,025,836)

6 months
5 (#246,492)

Historical graph of downloads
How can I increase my downloads?