Eine universelle Lambda-Kalkül-Programmiersprache und ihr Interpreter.

Published in: Automata Theory and Formal Languages (1975)

Keyphrases

programming language
production system
fixed point
lambda calculus
error handling
artificial intelligence
control program
relational databases
shape grammars
management system
database
computational complexity
high level
knowledge base
computer vision
information retrieval
databases