Full abstraction for polymorphic pi-calculus.

Alan Jeffrey Julian Rathke

Published in: Theor. Comput. Sci. (2008)

Keyphrases

type checking
high level
automated deduction
data abstraction
database
real time
relational calculus
decision theoretic planning
real world
search algorithm
data model
fuzzy logic
description logics
temporal abstractions
formal language
object oriented languages