Author books / Книги автора Stergios Chatzikyriakidis Zhaohui Luo » Online Library TheLib.net

Online Library TheLib.net » Author books / Книги автора Stergios Chatzikyriakidis Zhaohui Luo

book Formal Semantics in Modern Type Theories

Formal Semantics in Modern Type Theories

pdf

Author: Stergios Chatzikyriakidis Zhaohui Luo
Language: English
Year: 2020

00

13.02.2024

0

0

book Formal Semantics in Modern Type Theories

Formal Semantics in Modern Type Theories

pdf

Author: Stergios Chatzikyriakidis, Zhaohui Luo
Language: English
Year: 2020

00

13.02.2024

0

0

book Modern Perspectives in Type-Theoretical Semantics

Modern Perspectives in Type-Theoretical Semantics

pdf

Author: Stergios Chatzikyriakidis Zhaohui Luo (eds.)
Language: English
Year: 2017

00

28.01.2024

0

0

book Types for Proofs and Programs: International Workshop, TYPES 2006, Nottingham, UK, April 18-21, 2006, Revised Selected Papers

Types for Proofs and Programs: International Workshop, TYPES 2006, Nottingham, UK, April 18-21, 2006, Revised Selected Papers

pdf

Author: Robin Adams Zhaohui Luo (auth.) Thorsten Altenkirch Conor McBride (eds.)
Language: English
Year: 2007

00

27.01.2024

0

0

book Types for Proofs and Programs: International Workshop, TYPES 2000 Durham, UK, December 8–12, 2000 Selected Papers

Types for Proofs and Programs: International Workshop, TYPES 2000 Durham, UK, December 8–12, 2000 Selected Papers

pdf

Author: Peter Aczel Nicola Gambino (auth.) Paul Callaghan Zhaohui Luo James McKinna Robert Pollack Robert Pollack (eds.)
Language: English
Year: 2002

00

27.01.2024

0

0

book Computation and reasoning. A type theory for computer science

Computation and reasoning. A type theory for computer science

djvu

Author: Zhaohui Luo
Language: English
Year: 1994

00

27.01.2024

0

0

book Computation and Reasoning: A Type Theory for Computer Science

Computation and Reasoning: A Type Theory for Computer Science

djvu

Author: Zhaohui Luo
Language: English
Year: 1994

00

27.01.2024

0

0

book Types for Proofs and Programs: International Workshop, TYPES 2000 Durham, UK, December 8–12, 2000 Selected Papers

Types for Proofs and Programs: International Workshop, TYPES 2000 Durham, UK, December 8–12, 2000 Selected Papers

pdf

Author: Peter Aczel Nicola Gambino (auth.) Paul Callaghan Zhaohui Luo James McKinna Robert Pollack Robert Pollack (eds.)
Language: English
Year: 2002

00

27.01.2024

0

0

book Computation and Reasoning: A Type Theory for Computer Science

Computation and Reasoning: A Type Theory for Computer Science

pdf

Author: Zhaohui Luo
Language: English
Year: 1994

00

27.01.2024

0

0

book Types for Proofs and Programs: International Workshop, TYPES 2006, Nottingham, UK, April 18-21, 2006, Revised Selected Papers

Types for Proofs and Programs: International Workshop, TYPES 2006, Nottingham, UK, April 18-21, 2006, Revised Selected Papers

pdf

Author: Robin Adams Zhaohui Luo (auth.) Thorsten Altenkirch Conor McBride (eds.)
Language: English
Year: 2007

00

26.01.2024

0

0