The set of Unifiers in Typed lambda calculus as Regular Expression
Tytuł:
The set of Unifiers in Typed lambda calculus as Regular Expression
Czasopismo:
Rok:
1985
Strony:
430-440
Tom (seria wydawnicza):
202