Zhaohui Luo

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

Modern Perspectives in Type-Theoretical SemanticsStergios Chatzikyriakidis

Modern Perspectives in Type-Theoretical Semantics

Stergios Chatzikyriakidis · 2017

Types for proofs and programsPaul Callaghan

Types for proofs and programs

Paul Callaghan · 2002

Formal Semantics in Modern Type TheoriesStergios Chatzikyriakidis

Formal Semantics in Modern Type Theories

Stergios Chatzikyriakidis · 2021

Types for Proofs and ProgramsPaul Callaghan

Types for Proofs and Programs

Paul Callaghan · 2014