Remarks on an Infinitary Language with Constructive Formulas.

E. G. K. López-Escobar

Published in: J. Symb. Log. (1967)

Keyphrases

language learning
predicate calculus
programming language
relational calculus
databases
natural language
representation language
specification language
operational semantics
real time
search algorithm
data model
first order logic
context dependent
computer programs
formal language