BibSonomy :: author  :: Selinger ::

bookmarks

publications

(84)

• Preface.
  Peter Selinger Electr. Notes Theor. Comput. Sci. 210 1-2 (2008)
  to dblp by dblp on 2008-08-21 00:00:00
  | URL | BibTeX  
• Idempotents in Dagger Categories: (Extended Abstract).
  Peter Selinger Electr. Notes Theor. Comput. Sci. 210 107-122 (2008)
  to dblp by dblp on 2008-08-21 00:00:00
  | URL | BibTeX  
• On a Fully Abstract Model for a Quantum Linear Functional Language: (Extended Abstract).
  Peter Selinger and Benoît Valiron Electr. Notes Theor. Comput. Sci. 210 123-137 (2008)
  to dblp by dblp on 2008-08-21 00:00:00
  | URL | BibTeX  
• Enhanced Chip/Package Design for the IBM ES/9000TM.
  R. S. Belanger and David P. Conrady and Philip S. Honsinger and T. J. Lavery and S. J. Rothman and Erich C. Schanzenbach and D. Sitaram and C. R. Selinger and R. E. DuBois and G. W. Mahoney and G. F. Miceli ICCD 544-549 (1991)
  to dblp by dblp on 2008-08-18 00:00:00
  | URL | BibTeX  
• Architecture of an Image Rendering Co-Processor for MPEG-4 Visual Compositing.
  Mladen Berekovic and Peter Pirsch and Thorsten Selinger and Kai-Immo Wels and Carolina Miro and Anne Lafage and Christoph Heer and Giovanni Ghigo VLSI Signal Processing 31 157-171 (2002)
  to dblp by dblp on 2008-08-06 00:00:00
  | URL | BibTeX  
• Special issue on quantum programming languages.
  Peter Selinger Mathematical Structures in Computer Science 16 373-374 (2006)
  to dblp by dblp on 2008-06-19 00:00:00
  | URL | BibTeX  
• A lambda calculus for quantum computation with classical control.
  Peter Selinger and Benoît Valiron Mathematical Structures in Computer Science 16 527-552 (2006)
  to dblp by dblp on 2008-06-19 00:00:00
  | URL | BibTeX  
• Lecture notes on the lambda calculus
  Peter Selinger CoRR abs/0804.3434 (2008)
  to dblp by dblp on 2008-05-05 00:00:00
  | URL | BibTeX  
• A Linear-non-Linear Model for a Computational Call-by-Value Lambda Calculus (Extended Abstract).
  Peter Selinger and Benoît Valiron FoSSaCS 81-96 (2008)
  to dblp by dblp and 1 other person on 2008-04-21 00:00:00
  | URL | BibTeX  
• What kind of science is simulation?
  Robb Eason and Robert Rosenberger and Trina Kokalis and Evan Selinger and Patrick Grim J. Exp. Theor. Artif. Intell. 19 19-28 (2007)
  to dblp by dblp on 2008-02-28 00:00:00
  | URL | BibTeX