|
Formal Methods in Computing (Most of the papers antecedent to 1995 are not included in the list) |
|||
| FRAMES NO FRAME | ||||
| guerrieri2017lmcs (Article) | |
| Author(s) | Giulio Guerrieri, Luca Paolini and Simona Ronchi Della Rocca |
| Title | « Standardization and Conservativity of a Refined Call-by-Value lambda-Calculus » |
| Journal | Logical Methods in Computer Science |
| Volume | Volume 13, Issue 4 |
| Year | 2017 |
| URL | https://lmcs.episciences.org/4162 |
| Keywords | |
| Keywords: Computer Science - Logic in Computer Science ; 03B40, 68N18 ; F.3.2 ; D.3.1 ; F.4.1 | |
Download the complete article:
| BibTeX code |
@article{guerrieri2017lmcs,
volume = {{Volume 13, Issue 4}},
month = Dec,
author = {Giulio Guerrieri and Luca Paolini and Ronchi Della Rocca, Simona},
keywords = {Computer Science - Logic in Computer Science ; 03B40, 68N18 ;
F.3.2 ; D.3.1 ; F.4.1},
url = {https://lmcs.episciences.org/4162},
localfile = {https://arxiv.org/abs/1611.07255},
tag = {Logical Methods in Computer Science},
title = {{Standardization and Conservativity of a Refined Call-by-Value
lambda-Calculus}},
doi = {10.23638/LMCS-13(4:29)2017},
journal = {{Logical Methods in Computer Science}},
year = {2017},
}
|
Formal Methods in Computing (Most of the papers antecedent to 1995 are not included in the list) |
|||
| FRAMES NO FRAME | ||||
This document was generated by bib2html 3.3.
(Modified by Luca Paolini, under the GNU General Public License)
