%0 Conference Paper %1 journals/tcs/KohO99 %A wei Koh, Thong %A Ong, C.-H. Luke %B CTCS %D 1999 %E Hofmann, Martin %E Rosolini, Giuseppe %E Pavlovic, Dusko %I Elsevier %K dblp %P 151 %T Internal Languages for Autonomous and *-Autonomous Categories. %U http://dblp.uni-trier.de/db/journals/tcs/entcs29.html#KohO99 %V 29

@inproceedings{journals/tcs/KohO99, added-at = {2021-02-12T00:00:00.000+0100}, author = {wei Koh, Thong and Ong, C.-H. Luke}, biburl = {https://www.bibsonomy.org/bibtex/27b5c5e23ddf74830638a1b71c8337ca6/dblp}, booktitle = {CTCS}, crossref = {conf/ctcs/1999}, editor = {Hofmann, Martin and Rosolini, Giuseppe and Pavlovic, Dusko}, ee = {https://doi.org/10.1016/S1571-0661(05)80313-5}, interhash = {d1962355bc793531e1f4bb5eea2b91ff}, intrahash = {7b5c5e23ddf74830638a1b71c8337ca6}, keywords = {dblp}, pages = 151, publisher = {Elsevier}, series = {Electronic Notes in Theoretical Computer Science}, timestamp = {2024-04-10T14:29:11.000+0200}, title = {Internal Languages for Autonomous and *-Autonomous Categories.}, url = {http://dblp.uni-trier.de/db/journals/tcs/entcs29.html#KohO99}, volume = 29, year = 1999 }