Title :
The notion of a framework and a framework for LTC
Author :
Mendler, Paul F. ; Aczel, Peter
Author_Institution :
Dept. of Comput. Sci., Manchester Univ., UK
Abstract :
A precise notion of a formal framework, meant to capture the intuition of an open-ended range of deductive interpreted languages, is proposed. A particular framework called the logical theory of constructions (LTC) is developed as an example. A series of languages in the LTC framework is defined, demonstrating how a language can be thought of as gradually evolving.<>
Keywords :
formal languages; formal logic; deductive interpreted languages; logical theory of constructions; Application software; Computer science; Formal languages; Mathematics; Software engineering;
Conference_Titel :
Logic in Computer Science, 1988. LICS '88., Proceedings of the Third Annual Symposium on
Conference_Location :
Edinburgh, UK
Print_ISBN :
0-8186-0853-6
DOI :
10.1109/LICS.1988.5136
