Theories of types and proofs (Elsevier, 2002)
Literaturangaben. - In: Theoretical computer science ; 272 (2002),1/2