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}
}