Research output per year
Research output per year
Search results
-
2002
Types for Proofs and Programs
Callaghan, P. (Editor), Luo, Z. (Editor), McKinna, J. (Editor) & Pollack, R. (Editor), 2002, Springer. (Lecture Notes in Computer Science; vol. 2277)Research output: Book/Report › Book