Yves Bertot
Mechanizing the Proof of Correction of a Compiler Using Type Theory
Yves Bertot, Visitor from INRIA, November 17, 1998
Home
|
Introduction
|
Authors
|
Topics
|
Chronological List
|
PRL Project
Melissa Totman
, Department of Computer Science, Cornell University, Ithaca, NY. Mail to: mtotman
@cs.cornell.edu
