Back to Results
First PageMeta Content
Theoretical computer science / Mathematical logic / Logic / Formal methods / Logic in computer science / Process calculi / -calculus / Computability theory / Process calculus / Lambda calculus / Bisimulation / Calculus


To appear in MFCSAvailable online from http://www.cl.cam.ac.uk/∼ljw1004 Explicit Fusions Philippa Gardner and Lucian Wischik∗ June 2000
Add to Reading List

Document Date: 2001-08-20 15:52:59


Open Document

File Size: 117,42 KB

Share Result on Facebook