Domain-Free λµ-Calculus

Ken-Etsu Fujita
RAIRO-Theor. Inf. Appl., 34 6 (2000) 433-466
Published online: 15 April 2002
DOI: 10.1051/ita:2000102

This search tool will display articles in our database by authors of the selected article:

Select your author(s):

Search method: