ATS/LF: a type system for constructing proofs as total functional programs (2004)

by Hongwei Xi
Citations:2 - 1 self