Besik Dundua, M. Florido, Teimuraz Kutsia,
"Lambda Calculus with Regular Types"
: Proceedings of the 17th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2015, 2015
Original Titel:
Lambda Calculus with Regular Types
Sprache des Titels:
Englisch
Original Buchtitel:
Proceedings of the 17th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2015