A Machine-assisted Proof that Well Typed Expressions Cannot Go Wrong
Report, 1998

Author

Ana Bove

Department of Computer Science

Subject Categories

Computer Science

More information

Created

10/6/2017