A Full Formalisation of π-Calculus Theory in the Calculus of Constructions (1997)

Cached

Download Links

by Daniel Hirschkoff
Citations:8 - 0 self