Login / Signup
A Set-Theoretic Model for a Typed Polymorphic Lambda Calculus - A Contribution to MetaSoft.
Andrzej M. Borzyszkowski
Ryszard Kubiak
Stefan Sokolowski
Published in:
VDM Europe (1988)
Keyphrases
</>
lambda calculus
set theoretic
higher order
conceptual model
data mining
knowledge representation