%0 Conference Paper %1 conf/context/Thomason99 %A Thomason, Richmond H. %B CONTEXT %D 1999 %E Bouquet, Paolo %E Serafini, Luciano %E Brézillon, Patrick %E Benerecetti, Massimo %E Castellani, F. %I Springer %K dblp %P 351-360 %T Type Theoretic Foundations for Context, Part 1: Contexts as Complex Type-Theoretic Objects. %U http://dblp.uni-trier.de/db/conf/context/context1999.html#Thomason99 %V 1688 %@ 3-540-66432-7

@inproceedings{conf/context/Thomason99, added-at = {2017-05-23T00:00:00.000+0200}, author = {Thomason, Richmond H.}, biburl = {https://www.bibsonomy.org/bibtex/2086d3e78582c196a43b8b7fe2c61d35d/dblp}, booktitle = {CONTEXT}, crossref = {conf/context/1999}, editor = {Bouquet, Paolo and Serafini, Luciano and Brézillon, Patrick and Benerecetti, Massimo and Castellani, F.}, ee = {https://doi.org/10.1007/3-540-48315-2_27}, interhash = {6fb655678f429153cdf0f1090d4b3581}, intrahash = {086d3e78582c196a43b8b7fe2c61d35d}, isbn = {3-540-66432-7}, keywords = {dblp}, pages = {351-360}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T13:11:22.000+0200}, title = {Type Theoretic Foundations for Context, Part 1: Contexts as Complex Type-Theoretic Objects.}, url = {http://dblp.uni-trier.de/db/conf/context/context1999.html#Thomason99}, volume = 1688, year = 1999 }