Algebraic Theories for Name-Passing Calculi (1996)

Cached

Download Links

by Joachim Parrow , Davide Sangiorgi
Citations:41 - 10 self