James McKinna

ספרים שבהם James McKinna מופיע/ה ברשימת המחברים, לא כמחבר/ת הראשי/ת: ספרים משותפים, אוספים וסיכומים.

Types for proofs and programsPaul Callaghan

Types for proofs and programs

Paul Callaghan · 2002

Types for Proofs and ProgramsPaul Callaghan

Types for Proofs and Programs

Paul Callaghan · 2014