Computer Laboratory

Technical reports

Contexts and embeddings for closed shallow action graphs

Gian Luca Cattani, James J. Leifer, Robin Milner

July 2000, 56 pages

Full text

PS (0.2 MB)

BibTeX record

@TechReport{UCAM-CL-TR-496,
  author =	 {Cattani, Gian Luca and Leifer, James J. and Milner, Robin},
  title = 	 {{Contexts and embeddings for closed shallow action graphs}},
  year = 	 2000,
  month = 	 jul,
  url = 	 {http://www.cl.cam.ac.uk/techreports/UCAM-CL-TR-496.ps.gz},
  institution =  {University of Cambridge, Computer Laboratory},
  number = 	 {UCAM-CL-TR-496}
}