Back to Results
First PageMeta Content
Logic in computer science / Lambda calculus / Process calculi / Π-calculus / Bisimulation / Combinatory logic / Fixed-point combinator / Sheaf / Theoretical computer science / Applied mathematics / Mathematics


Typed Normal Form Bisimulation Soren B. Lassen1 and Paul Blain Levy2 1 2
Add to Reading List

Document Date: 2007-12-20 12:37:08

Open Document

File Size: 231,10 KB

Share Result on Facebook

Company

Honda / Paul Blain Levy2 1 2 Google Inc. / /

/

Facility

University of Birmingham / /

IndustryTerm

inclusive product / /

MusicAlbum

U.K. / /

Organization

eta / University of Birmingham / /

Person

Ai / /

Position

z.pm / Prime Minister / zV pm / pi.pm / t.pm / /

SocialTag