The Regular Expression Descriptions of Unifier Sets in the Typed lambda Calculus
Tytuł:
The Regular Expression Descriptions of Unifier Sets in the Typed lambda Calculus
Czasopismo:
Rok:
1987
Strony:
309-322
Tom (seria wydawnicza):
10