Theory of Types and Data Description

The intensional character of natural languages is contrasted with the extensional character of artificial langs. A modification of A. Church's simple theory of types ("A Formulation of the Simple Theory of Types," Journal of Symbolic Logic, 1940, 5, 1, 56-68) is shown to be able to se...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:Kybernetika 1978-01, Vol.14 (5), p.313-327
1. Verfasser: Materna, Pavel
Format: Artikel
Sprache:eng
Online-Zugang:Volltext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!