Conference
High-Level Theories
Abstract
We introduce high-level theories in analogy with high-level programming languages. The basic point is that even though one can define many theories via simple, low-level axiomatizations, that is neither an effective nor a comfortable way to work with such theories. We present an approach which is closer to what users of mathematics employ, while still being based on formal structures.
Authors
Carette J; Farmer WM
Series
Lecture Notes in Computer Science
Volume
5144
Pagination
pp. 232-245
Publisher
Springer Nature
Publication Date
2008
DOI
10.1007/978-3-540-85110-3_19
Conference proceedings
Lecture Notes in Computer Science
ISSN
0302-9743