lambda-P Systems and Typed lambda-Calculus.

Loïc Colson Natasa Jonoska Maurice Margenstern

Published in: Workshop on Membrane Computing (2004)

Keyphrases

lambda calculus
programming language
higher order
complex objects
predicate calculus
program understanding
database query languages
management system
database
open source
distributed systems
databases
co occurrence