Template:Bibtex:af04dependent

From The Twelf Project
Jump to: navigation, search

Andrew W. Appel, Amy P. Felty - Dependent Types Ensure Partial Correctness of Theorem Provers
Journal of Functional Programming 14(1):3--19, January 2004
Bibtex
Author : Andrew W. Appel, Amy P. Felty
Title : Dependent Types Ensure Partial Correctness of Theorem Provers
In : Journal of Functional Programming -
Address :
Date : January 2004