%0 Conference Paper %1 conf/ctcs/Paiva89 %A de Paiva, Valeria %B Category Theory and Computer Science %D 1989 %E Pitt, David H. %E Rydeheard, David E. %E Dybjer, Peter %E Pitts, Andrew M. %E Poigné, Axel %I Springer %K dblp %P 341-356 %T A Dialectica-like Model of Linear Logic. %U http://dblp.uni-trier.de/db/conf/ctcs/ctcs89.html#Paiva89 %V 389 %@ 3-540-51662-X

@inproceedings{conf/ctcs/Paiva89, added-at = {2018-11-14T00:00:00.000+0100}, author = {de Paiva, Valeria}, biburl = {https://www.bibsonomy.org/bibtex/2599fe6052306757550698fa0ff7a24ea/dblp}, booktitle = {Category Theory and Computer Science}, crossref = {conf/ctcs/1989}, editor = {Pitt, David H. and Rydeheard, David E. and Dybjer, Peter and Pitts, Andrew M. and Poigné, Axel}, ee = {https://www.wikidata.org/entity/Q56994625}, interhash = {508f7817cffb6f49b81c9bf5b700ca5b}, intrahash = {599fe6052306757550698fa0ff7a24ea}, isbn = {3-540-51662-X}, keywords = {dblp}, pages = {341-356}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T13:19:47.000+0200}, title = {A Dialectica-like Model of Linear Logic.}, url = {http://dblp.uni-trier.de/db/conf/ctcs/ctcs89.html#Paiva89}, volume = 389, year = 1989 }