Deadlock Sensitive Types for Lambda Calculus with Resources.

Carolina Lavatelli

Published in: FSTTCS (1998)

Keyphrases

lambda calculus
predicate calculus
general purpose
programming language
knowledge base
data structure
co occurrence