author = {Besik Dundua and Mario Florido and Temur Kutsia},}
title = {{Lambda Calculus with Regular Types}},
booktitle = {{Proceeding of the 17th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2015}},
language = {english},
pages = {--},
isbn_issn = { },
year = {2015},
note = {To appear},
editor = { },
refereed = {yes},
length = {0}