Citations of work:

Roberto M. Amadio (1998). Domains and Lambda-Calculi.

Order:
Are we missing citations?

PhilPapers citations & references are currently in beta testing. We expect to add many more in the future.

Meanwhile, you can use our bibliography tool to import references for this or another work.

Or you can directly add citations for the above work:

Search for work by author name and title
Add directly by record ID

  1.  42
    The Differential Method and the Causal Incompleteness of Programming Theory in Molecular Biology.Giuseppe Longo & Pierre-Emmanuel Tendero - 2007 - Foundations of Science 12 (4):337-366.
    The “DNA is a program” metaphor is still widely used in Molecular Biology and its popularization. There are good historical reasons for the use of such a metaphor or theoretical model. Yet we argue that both the metaphor and the model are essentially inadequate also from the point of view of Physics and Computer Science. Relevant work has already been done, in Biology, criticizing the programming paradigm. We will refer to empirical evidence and theoretical writings in Biology, although our arguments (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  2.  8
    Softness of Hypercoherences and MALL Full Completeness.Richard Blute, Masahiro Hamano & Philip Scott - 2005 - Annals of Pure and Applied Logic 131 (1-3):1-63.
    We prove a full completeness theorem for multiplicative–additive linear logic using a double gluing construction applied to Ehrhard’s *-autonomous category of hypercoherences. This is the first non-game-theoretic full completeness theorem for this fragment. Our main result is that every dinatural transformation between definable functors arises from the denotation of a cut-free proof. Our proof consists of three steps. We show:• Dinatural transformations on this category satisfy Joyal’s softness property for products and coproducts.• Softness, together with multiplicative full completeness, guarantees that (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations