Foundational semantics for tal syntactic rules via typed machine language. Submitted for publication (2002)

by K N Swadi, A W Appel