A Filter Model for Concurrent lambda-Calculus.

Mariangiola Dezani-Ciancaglini Ugo de'Liguoro Adolfo Piperno

Published in: SIAM J. Comput. (1998)

Keyphrases

formal model
co occurrence
lambda calculus
knowledge base
high level
conceptual model