Let-Binding with Regular Expressions in Lambda Calculus

Takuya Ohata, Shin-ya Nishizaki. Let-Binding with Regular Expressions in Lambda Calculus. JSW, 11(2):220-229, 2016. [doi]

Abstract

Abstract is missing.