Back to Results
First PageMeta Content
Mathematics / Models of computation / Denotational semantics / Lambda calculus / Model theory / Π-calculus / Bisimulation / Orbifold / Theoretical computer science / Applied mathematics / Logic in computer science


A Bisimulation for Type Abstraction and Recursion Eijiro Sumii Benjamin C. Pierce University of Pennsylvania
Add to Reading List

Document Date: 2005-01-18 15:06:02

Open Document

File Size: 210,31 KB

Share Result on Facebook

City

Long Beach / /

Company

Case / /

Country

United States / /

Currency

USD / /

/

IndustryTerm

machinery / state transition systems / function applications / module systems / security protocols / concrete applications / /

Organization

University of Pennsylvania University / /

Person

Eijiro Sumii Benjamin / /

Position

Type structure General / /

Product

Canon HV10 Camcorder / /

ProgrammingLanguage

C / /

ProvinceOrState

California / /

Technology

encryption / security protocols / dom / /

SocialTag