๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

Self-reference and validity

โœ Scribed by Stephen Read


Publisher
Springer Netherlands
Year
1979
Tongue
English
Weight
458 KB
Volume
42
Category
Article
ISSN
0039-7857

No coin nor oath required. For personal study only.


๐Ÿ“œ SIMILAR VOLUMES


Method validation and reference material
โœ Margreet Lauwaars; Elke Anklam ๐Ÿ“‚ Article ๐Ÿ“… 2004 ๐Ÿ› Springer-Verlag ๐ŸŒ English โš– 130 KB
Inference and self-reference
โœ Bas C. Fraassen ๐Ÿ“‚ Article ๐Ÿ“… 1970 ๐Ÿ› Springer Netherlands ๐ŸŒ English โš– 690 KB
Parametrized Quotation and Self-Referenc
โœ C.M.W. Little ๐Ÿ“‚ Article ๐Ÿ“… 2003 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 206 KB

This paper is concerned with the theoretical issues surrounding the specification of self-applicative computer programs. In particular we seek to explain the competing requirements desireable of any formal system that admits both of self-reference and quotation, and present three new solutions to th

Anti-foundation and self-reference
โœ Colin McLarty ๐Ÿ“‚ Article ๐Ÿ“… 1993 ๐Ÿ› Springer Netherlands ๐ŸŒ English โš– 533 KB