Back to Results
First PageMeta Content
Lambda calculus / Models of computation / Logic in computer science / Programming language semantics / Denotational semantics / Fixed-point combinator / Model theory / Simply typed lambda calculus / Curry–Howard correspondence / Theoretical computer science / Applied mathematics / Computer science


A Bisimulation for Type Abstraction and Recursion EIJIRO SUMII Tohoku University and BENJAMIN C. PIERCE University of Pennsylvania
Add to Reading List

Document Date: 2007-08-08 12:01:23

Open Document

File Size: 376,98 KB

Share Result on Facebook

Company

ACM Inc. / Case / /

Currency

USD / /

Facility

BENJAMIN C. PIERCE University of Pennsylvania We / Recursion EIJIRO SUMII Tohoku University / /

IndustryTerm

machinery / state transition systems / security protocols / copyright/server / /

Movie

Harper / /

Organization

BENJAMIN C. PIERCE University of Pennsylvania We / Tohoku University / /

Person

EIJIRO SUMII / /

Position

Harper / Type structure General / /

ProgrammingLanguage

C / /

PublishedMedium

Journal of the ACM / /

Technology

encryption / security protocols / dom / /

SocialTag