Back to Results
First PageMeta Content
Proof theory / Denotational semantics / Natural deduction / Linear logic / Cut-elimination theorem / Curry–Howard correspondence / Lambda calculus / Type theory / Semantics / Logic / Mathematical logic / Mathematics


PROOFS AND TYPES JEAN-YVES GIRARD
Add to Reading List

Document Date: 2009-02-12 12:08:23

Open Document

File Size: 924,95 KB

Share Result on Facebook

City

Melbourne / Streey / Paris / /

Company

Cambridge University Press / /

Country

Australia / United Kingdom / United States / /

Facility

University of Cambridge The Pitt Building / Library Cataloguing / University Press / /

Movie

The two sentences / /

OperatingSystem

Sequent / /

Organization

Congress / CAMBRIDGE UNIVERSITY / /

Person

Paul Taylor / Bill White / Liz Wolf / PAUL TAYLOR YVES LAFONT / Yves Lafont / JEAN-YVES GIRARD / Mark Ryan / Samson Abramsky / Christine Paulin-Mohring / Thomas Streicher / Ramon Pino / Rochelle Melbourne Sydney ii / Luke Ong / /

Position

General / /

ProvinceOrState

New York / /

SocialTag