The Simply-Typed Theory of Beta-Conversion has no Maximum Extension.

Franco Barbanera Stefano Berardi

Published in: Inf. Comput. (1997)

Keyphrases

higher order
databases
genetic algorithm
information systems
theoretical framework
computational model
digital libraries
formal theory
general theory
information theory
programming language
information technology
database
three dimensional
image processing
real world
real time