Book chapter From proof nets to interaction nets Cambridge University Press eBooks 1995 Read Paper From proof nets to interaction nets Yves Lafont Cambridge University Press eBooks 1995 and Knowledge and type systems Logic Logic, programming, and type systems