A Machine-assisted Proof that Well Typed Expressions Cannot Go Wrong
Report, 1998
Author
Ana Bove
Department of Computer Science
Subject Categories
Computer Science