1993 …2024

Research activity per year

Filter
Book

Search results

  • 2002

    Types for Proofs and Programs

    Callaghan, P. (ed.), Luo, Z. (ed.), McKinna, J. (ed.) & Pollack, R. (ed.), 2002, Springer. (Lecture Notes in Computer Science; vol. 2277)

    Research output: Book/ReportBook