%0 Conference Paper %1 conf/fct/FairweatherFG11 %A Fairweather, Elliot %A Fernández, Maribel %A Gabbay, Murdoch James %B FCT %D 2011 %E Owe, Olaf %E Steffen, Martin %E Telle, Jan Arne %I Springer %K dblp %P 160-172 %T Principal Types for Nominal Theories. %U http://dblp.uni-trier.de/db/conf/fct/fct2011.html#FairweatherFG11 %V 6914 %@ 978-3-642-22952-7

@inproceedings{conf/fct/FairweatherFG11, added-at = {2017-05-17T00:00:00.000+0200}, author = {Fairweather, Elliot and Fernández, Maribel and Gabbay, Murdoch James}, biburl = {https://www.bibsonomy.org/bibtex/2e5d8292033f171ea6e9f04a6b6a8ecb6/dblp}, booktitle = {FCT}, crossref = {conf/fct/2011}, editor = {Owe, Olaf and Steffen, Martin and Telle, Jan Arne}, ee = {https://doi.org/10.1007/978-3-642-22953-4_14}, interhash = {89bfe61154fae61dfdec7343b5ddda13}, intrahash = {e5d8292033f171ea6e9f04a6b6a8ecb6}, isbn = {978-3-642-22952-7}, keywords = {dblp}, pages = {160-172}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T20:30:09.000+0200}, title = {Principal Types for Nominal Theories.}, url = {http://dblp.uni-trier.de/db/conf/fct/fct2011.html#FairweatherFG11}, volume = 6914, year = 2011 }