TinkerType: a language for playing with formal systems (2003)

by Michael Y. Levin , Benjamin C. Pierce
Citations:20 - 0 self