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