Frank Pfenning (pfenning)

Beiträge zu Philosophie.ch

Bibliography

Miller, Dale E., Nadathur, Gopalan, Pfenning, Frank and Ščedrov, Andrej. 1991. “Uniform Proofs as a Foundation for Logic Programming.” Annals of Pure and Applied Logic 51: 125–157.
Pfenning, Frank. 2004. “Review of Pierce (2002).” The Bulletin of Symbolic Logic 10(2): 213–214.

Further References

Pierce, Benjamin C. 2002. Types and Programming Languages. Cambridge, Massachusetts: The MIT Press.