Back to Results
First PageMeta Content
Theoretical computer science / Computability theory / Logic in computer science / Lambda calculus / Process calculi / Combinatory logic / -calculus / Substitution / Group action / Binary relation / Equivalence relation / FO


Internal draft. Available online from http://www.cl.cam.ac.uk/∼ljw1004 Symmetric action calculi Philippa Gardner and Lucian J. Wischik
Add to Reading List

Document Date: 2001-08-20 15:53:16


Open Document

File Size: 243,82 KB

Share Result on Facebook