Back to Results
First PageMeta Content
Theoretical computer science / Logic in computer science / Curry–Howard correspondence / Dependently typed programming / Philosophy of computer science / Type theory / Natural deduction / Lambda calculus / Valuation / Proof theory / Mathematics / Mathematical logic


The Duality of Computation (revision fixing typos and a few errors – JanuaryPierre-Louis Curien Hugo Herbelin
Add to Reading List

Document Date: 2010-11-23 12:28:12


Open Document

File Size: 304,88 KB

Share Result on Facebook

City

Reading / Montreal / /

Currency

USD / /

/

Facility

University Paris / /

IndustryTerm

nested applications / /

OperatingSystem

Sequent / /

Organization

CA V / /

Person

Pierre-Louis Curien Hugo Herbelin / /

/

Position

second author / /

ProvinceOrState

Minnesota / /

SocialTag