MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for "Bistructures, bidomains, and linear logic." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 6 documents found, showing 1 through 6.
ATOM RSS
  • Bistructures, Bidomains and Linear Logic  
  • by Bistructures Bidomains, Gordon Plotkin, Gordon Plotkin, Glynn Winskel, Glynn Winskel — 1994
  • …BRICS Basic Research in Computer Science Bistructures, Bidomains and Linear Logic Gordon Plotkin…
  • Add To MetaCart
  • Overview of Milner’s work  
  • by Riccardo Pucella — 2001
  • … 0262161885. 1 Contents I. SEMANTIC FOUNDATIONS 1. Bistructures, Bidomains, and Linear Logic. Curien, Plotkin…
  • Add To MetaCart
  • BRICS Research Series, 1994  
  • by Brics, Gordon Plotkin, Glynn Winskel Bistructures, Javier Esparza, Decidability Issues, Petri Nets, Andr Joyal, Mogens Nielsen, Mogens Nielsen, Glynn Winskel Bisimulation From — 1998
  • … [RS-94-9] Abstract, PostScript, DVI. Gordon Plotkin and Glynn Winskel. Bistructures, Bidomains…
  • Add To MetaCart
  • BRICS Research Series, 1997  
  • by Brics, David A. Schmidt, Abstract Interpretation, Operational Semantics, Olivier Danvy, Mayer Goldberg, Partial Evaluation Euclidian, Jesper G. Henriksen — 1999
  • …, and Glynn Winskel. Bistructures, Bidomains and Linear Logic. June 1997. 41 pp. To appear in Plotkin…
  • Add To MetaCart
Help! Showing 1 through 6.
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB