Пожалуйста, войдите в систему, чтобы принять участие в дискуссии (добавить собственные рецензию, или комментарий)
Цитировать эту публикацию
%0 Journal Article
%1 journals/igpl/VenturaKA15
%A Ventura, Daniel Lima
%A Kamareddine, Fairouz
%A Ayala-Rincón, Mauricio
%D 2015
%J Log. J. IGPL
%K
%N 2
%P 295-340
%T Explicit substitution calculi with de Bruijn indices and intersection type systems.
%U http://dblp.uni-trier.de/db/journals/igpl/igpl23.html#VenturaKA15
%V 23
@article{journals/igpl/VenturaKA15,
added-at = {2023-12-13T07:26:27.000+0100},
author = {Ventura, Daniel Lima and Kamareddine, Fairouz and Ayala-Rincón, Mauricio},
biburl = {https://www.bibsonomy.org/bibtex/2cc127a1baccf89a7e75f2377288bae11/admin},
ee = {https://www.wikidata.org/entity/Q58001383},
interhash = {b902b5b96a5ff211296083c997c71de4},
intrahash = {cc127a1baccf89a7e75f2377288bae11},
journal = {Log. J. IGPL},
keywords = {},
number = 2,
pages = {295-340},
timestamp = {2023-12-13T07:26:27.000+0100},
title = {Explicit substitution calculi with de Bruijn indices and intersection type systems.},
url = {http://dblp.uni-trier.de/db/journals/igpl/igpl23.html#VenturaKA15},
volume = 23,
year = 2015
}