@inproceedings{d4f883dbf98947c0a898b3857620b277,
title = "Lambda Calculus with Regular Types",
author = "Besik Dundua and M. Florido and Teimuraz Kutsia",
year = "2015",
doi = "10.1109/SYNASC.2015.29",
language = "English",
pages = "129--136",
editor = "Viorel Negru and Watt, \{Stephen M.\} and Laura Kovacs and Tudor Jebelean and Tetsuo Ida and Dana Petcu and Daniela Zaharie",
booktitle = "Proceedings of the 17th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2015",
}