Wyniki
-
Standard Normalization for Infinite Typed Terms
George Koletsos
Bulletin of the Section of Logic , 37 /1 (2008) s. 11-18
George Koletsos
Bulletin of the Section of Logic
, 37
/1
(2008)
s. 11-18