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