Completeness of Bisimilarity for Contextual Equivalence in Linear Theories

by Roy L. Crole

Citations:

5 - 1 self

User correction supplied by SystemCorrections

Datum	Value	Source
TITLE	Completeness of Bisimilarity for Contextual Equivalence in Linear Theories	SVM HeaderParse 0.1
AUTHOR NAME	Roy L. Crole	user correction - Legacy Corrections
ABSTRACT	In this paper, we develop new variations of methods from operational semantics, and show how to apply these to a linear type theory which has a lazy operational semantics. In particular, we consider how one can establish contextual equivalences in a linear theory with function types and tensor types by instead establishing bisimulations. Thus bisimilarity is sound for contextual equivalence. Further, we show that bisimilarity is complete for contextual equivalence.	user correction - Legacy Corrections
CITATIONS	5 found	ParsCit 1.0