Anton Salikhmetov
|
Registered User
|
I am a software engineer with deep knowledge of IEEE 1003.1 in both formal and practical aspects, currently researching the simplest automata for optimal reduction of lambda expressions.
|
Click graph with mouse, or enter Start: End:
