%0 Conference Paper %1 conf/types/Harrison96 %A Harrison, John %B TYPES %D 1996 %E Giménez, Eduardo %E Paulin-Mohring, Christine %I Springer %K dblp %P 154-172 %T Proof Style. %U http://dblp.uni-trier.de/db/conf/types/types96.html#Harrison96 %V 1512 %@ 3-540-65137-3

@inproceedings{conf/types/Harrison96, added-at = {2019-09-05T00:00:00.000+0200}, author = {Harrison, John}, biburl = {https://www.bibsonomy.org/bibtex/2cd8d4452ae7fda80ef912a0f65c61d52/dblp}, booktitle = {TYPES}, crossref = {conf/types/1996}, editor = {Giménez, Eduardo and Paulin-Mohring, Christine}, ee = {https://doi.org/10.1007/BFb0097791}, interhash = {54e745e424821f823baef09f83996cf8}, intrahash = {cd8d4452ae7fda80ef912a0f65c61d52}, isbn = {3-540-65137-3}, keywords = {dblp}, pages = {154-172}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-09-06T11:48:25.000+0200}, title = {Proof Style.}, url = {http://dblp.uni-trier.de/db/conf/types/types96.html#Harrison96}, volume = 1512, year = 1996 }