Nondeterministic Programs Definable in Typed Lambda Calculus
Tytuł:
Nondeterministic Programs Definable in Typed Lambda Calculus
Czasopismo:
Rok:
1985
Strony:
63-72
Tom (seria wydawnicza):
8