%0 Conference Paper %1 conf/lics/Pitts93a %A Pitts, Andrew M. %B LICS %D 1993 %K dblp %P 2-3 %T Bisimulation and Co-induction (Tutorial) %U http://theory.lcs.mit.edu/~dmjones/LICS/lics93.html

@inproceedings{conf/lics/Pitts93a, added-at = {2015-01-22T00:00:00.000+0100}, author = {Pitts, Andrew M.}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2cb5daf2ded39bcef473e9e75268de13f/dblp}, booktitle = {LICS}, interhash = {02d2e193526a576fcae13bd71d8e831f}, intrahash = {cb5daf2ded39bcef473e9e75268de13f}, keywords = {dblp}, pages = {2-3}, timestamp = {2016-02-02T10:59:45.000+0100}, title = {Bisimulation and Co-induction (Tutorial)}, url = {http://theory.lcs.mit.edu/~dmjones/LICS/lics93.html}, year = 1993 }