Back to Results
First PageMeta Content
Logic / Natural deduction / Curry–Howard correspondence / Symbol / Sequent calculus / Sheaf / Orbifold / Holomorphic functional calculus / Proof theory / Mathematics / Mathematical logic


Down with the bureaucracy of syntax! Pattern matching for classical linear logic Philip Wadler University of Edinburgh
Add to Reading List

Document Date: 2005-02-04 11:56:16

Open Document

File Size: 147,40 KB

Share Result on Facebook

City

San Francisco / Ottawa / Oxford / /

Company

G S P S/T S S A / Cambridge University Press / H S A / /

Country

Netherlands / Canada / /

Currency

pence / /

/

Facility

Carnegie Mellon University / Philip Wadler University / /

IndustryTerm

distributive law / additive product / multiplicative product / chemical abstract machine / tensor product / cartesian products / cartesian product / /

Organization

Cambridge University / Alonzo Church / American Mathematical Society / Department of Computer Science / University of Edinburgh / NL ANC / Carnegie Mellon University / NL NR / /

Person

Yves Lafont / Steve Zdancewic / Gerard Berry / Jean-Yves Girard / Andre Scedrov / Frank Pfenning / Typed Lambda Calculi / Dominic Hughes / Gerhard Gentzen / Paul Taylor / Robert van Glabbeek / Philip Wadler / Rob van Glabbeek / Geoffrey Washburn / Gerard Boudol / Stephanie Weirich / /

Position

editor / Prime Minister / /

ProgrammingLanguage

Lambda Calculus / /

PublishedMedium

Annals of Mathematics / Mathematische Zeitschrift / Theoretical Computer Science / /

Technology

Functional Programming / /

URL

http /

SocialTag