-
8J. Longley The sequentially realizable functionals 1 ZM Ariola and S. Blom Skew confluence and the lambda calculus with letrec 95Annals of Pure and Applied Logic 117 (1-3): 169-201. 2002.
-
16Mechanism of the formation of peripheral coarse grain structure in hot extrusion of Al-4.5Zn-1MgPhilosophical Magazine 96 (12): 1188-1196. 2016.
Areas of Specialization
Science, Logic, and Mathematics |
Areas of Interest
Science, Logic, and Mathematics |