An extension of the basic functionality theory for the λ-calculus.

Mario Coppo Mariangiola Dezani-Ciancaglini

Published in: Notre Dame J. Formal Log. (1980)

Keyphrases

computer algebra
general theory
real time
metadata
theoretical framework
theoretical basis
real world
social networks
computer vision
multiscale
expert systems
computational models
information theory
rough mereology