%0 Conference Paper %1 conf/tableaux/AndrewsB96 %A Andrews, Peter B. %A Bishop, Matthew %B TABLEAUX %D 1996 %E Miglioli, Pierangelo %E Moscato, Ugo %E Mundici, Daniele %E Ornaghi, Mario %I Springer %K dblp %P 1-15 %T On Sets, Types, Fixed Points, and Checkerboards. %U http://dblp.uni-trier.de/db/conf/tableaux/tableaux96.html#AndrewsB96 %V 1071 %@ 3-540-61208-4

@inproceedings{conf/tableaux/AndrewsB96, added-at = {2017-05-22T00:00:00.000+0200}, author = {Andrews, Peter B. and Bishop, Matthew}, biburl = {https://www.bibsonomy.org/bibtex/226a59996162c00ded7a640ad438df95e/dblp}, booktitle = {TABLEAUX}, crossref = {conf/tableaux/1996}, editor = {Miglioli, Pierangelo and Moscato, Ugo and Mundici, Daniele and Ornaghi, Mario}, ee = {https://doi.org/10.1007/3-540-61208-4_1}, interhash = {8fd1febcc0a4ded5777613045aeace7b}, intrahash = {26a59996162c00ded7a640ad438df95e}, isbn = {3-540-61208-4}, keywords = {dblp}, pages = {1-15}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T19:50:01.000+0200}, title = {On Sets, Types, Fixed Points, and Checkerboards.}, url = {http://dblp.uni-trier.de/db/conf/tableaux/tableaux96.html#AndrewsB96}, volume = 1071, year = 1996 }