"Proof, Language and Interaction, Essays in Honour of Robin Milner" by Gordon Plotkin, Colin Sterling and Mads Tofte (eds.), Foundations of Computing Series, MIT Press 2000.
C. Reade. J. Funct. Program., 14 (1):
125-128(2004)
Пожалуйста, войдите в систему, чтобы принять участие в дискуссии (добавить собственные рецензию, или комментарий)
Цитировать эту публикацию
%0 Journal Article
%1 journals/jfp/Reade04
%A Reade, Chris
%D 2004
%J J. Funct. Program.
%K dblp
%N 1
%P 125-128
%T "Proof, Language and Interaction, Essays in Honour of Robin Milner" by Gordon Plotkin, Colin Sterling and Mads Tofte (eds.), Foundations of Computing Series, MIT Press 2000.
%U http://dblp.uni-trier.de/db/journals/jfp/jfp14.html#Reade04
%V 14
@article{journals/jfp/Reade04,
added-at = {2004-03-19T00:00:00.000+0100},
author = {Reade, Chris},
biburl = {https://www.bibsonomy.org/bibtex/22c9e937a01ca72c2ae47e72670dd1af7/dblp},
date = {2004-03-19},
description = {dblp},
ee = {http://dx.doi.org/10.1017/S0956796803004830},
interhash = {5918fbf6da6fc928ef3ae36aaab1523c},
intrahash = {2c9e937a01ca72c2ae47e72670dd1af7},
journal = {J. Funct. Program.},
keywords = {dblp},
number = 1,
pages = {125-128},
timestamp = {2004-03-19T00:00:00.000+0100},
title = {"Proof, Language and Interaction, Essays in Honour of Robin Milner" by Gordon Plotkin, Colin Sterling and Mads Tofte (eds.), Foundations of Computing Series, MIT Press 2000.},
url = {http://dblp.uni-trier.de/db/journals/jfp/jfp14.html#Reade04},
volume = 14,
year = 2004
}
