Algebraic Theories for Name-Passing Calculi (1996)

Cached

Download Links

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