Types for Proofs and Programs

Types for Proofs and Programs

1994 • 404 pages