Bibsonomy :: author  ::

bookmarks

publications

(84)

• 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  
• Rechnerunterstützung der informellen Kommunikation in verteilten Unternehmensstrukturen
  {Gebhard} Selinger (2000)
  to imported by fbw on 2008-05-29 13:24:55
  | 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  
• Tilt stripe textures in Langmuir monolayers of fatty acids
  Daniel K. Schwartz and Jaime Ruiz-Garcia and Xia Qiu and Jonathan V. Selinger and Charles M. Knobler Physica A: Statistical and Theoretical Physics 204 606--615 (1994)
  to imported by smicha on 2008-04-22 10:36:30
  | URL | BibTeX  
• A further remark on Shephard's Lemma
  Susanne Fuchs-Selinger Economics Letters 56 359--365 (1997)
  to Differentiability cost function of the by smicha on 2008-04-21 22:09:52
  | 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  
• A Lambda Calculus for Quantum Computation with Classical Control.
  Peter Selinger and Benoît Valiron TLCA 354-368 (2005)
  to dblp by dblp on 2008-02-01 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 CoRR abs/0801.0813 (2008)
  to dblp by dblp and 1 other person on 2008-02-01 00:00:00
  | URL | BibTeX