Back to Results
First PageMeta Content
Lambda calculus / Computability theory / Fixed-point combinator / Combinatory logic / Sheaf / Theoretical computer science / Mathematics / Applied mathematics


Typed Normal Form Bisimulation for Parametric Polymorphism Soren B. Lassen Google, Inc. Paul Blain Levy
Add to Reading List

Document Date: 2008-07-15 06:16:32


Open Document

File Size: 205,94 KB

Share Result on Facebook

Company

Parametric Polymorphism Soren B. Lassen Google Inc. / /

Currency

pence / /

/

Facility

Paul Blain Levy University of Birmingham / /

IndustryTerm

labelled transition systems / /

MusicAlbum

U.K. / /

Organization

University of Birmingham / /

Person

Nat / Ai / Paul Blain / /

Position

u.pm / bi.pm / a.pm / Prime Minister / Ultimate Patterns def pm / ui.pm / hb / ki.pm / zV pm / /

Product

Pentax K-x Digital Camera / /

Technology

dom / /

SocialTag