Schwichtenberg style lambda definability is undecidable
Tytuł:
Schwichtenberg style lambda definability is undecidable
Czasopismo:
Rok:
1997
Strony:
267-283
Tom (seria wydawnicza):
1210