Пожалуйста, войдите в систему, чтобы принять участие в дискуссии (добавить собственные рецензию, или комментарий)
Цитировать эту публикацию
%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
}