11,375 research outputs found
On the completeness of order-theoretic models of the lambda-calculus
No full textScott discovered his domain-theoretic models of the λ -calculus, isomorphic to their function space, in 1969. A natural completeness problem then arises: whether any two terms equal in all Scott models are convertible. There is also an analogous consistency problem: whether every equation between two terms, consistent with the λ -calculus, has a Scott model. We consider such questions for wider sets of sentences and wider classes of models, the pointed (completely) partially ordered ones. A negative result for a set of sentences shows the impossibility of finding Scott models for that class; a positive result gives evidence that there might be enough Scott models. We find, for example, that the order-extensional pointed ω -cpo models are complete for Π1-sentences with positive matrices, whereas the consistency question for Σ1-sentences with equational matrices depends on the consistency of certain critical sentences asserting the existence of certain functions analogous to the generalized Mal’cev operators first considered in the context of the λ-calculus by Selinger
Letter From William Bell Scott to Mr Chambers
No full textabstract: Concerning Scott's thanks, his writings about his own works, and a manuscript of "The Nightingale Unheard."Seller's Description: Reads "A.L.S. from Author to Mr. Chambers explaining how busy he is... The sonnet is printed in the book. Fredeman: 56.7 £87.50"Handwritten Note: Unknown handwriting at top right reads "June 1st 1877."Publication Details: "The Nightingale Unheard" published in "Poems" by William Bell Scott.Creation Date Details: Undated range is the author's lifespan.Provenance: Removed from:
Poems / by William Bell Scott. Ballads, studies from nature, sonnets, etc. / illustrated by seventeen etchings by the author and L. Alma Tadema. Publisher London : Longmans, Green, 1875. CALL #
HAYDEN SPECIAL COLL SPEC PRB-13
A Convenient Category of Domains
No full texttopological spaces, generalising the usual ω-continuous dcppos of domain theory. Our category supports all the standard constructions of domain theory, including the solution of recursive domain equations. It also supports the construction of free algebras for (in)equational theories, provides a model of parametric polymorphism, and can be used as the basis for a theory of computability. This answers a question of Gordon Plotkin, who asked whether it was possible to construct a category of domains with such properties
Cartesian closed categories of separable Scott domains
No full textWe classify all sub-cartesian closed categories of the category of separable Scott domains. The classification employs a notion of coherence degree determined by the possible inconsistency patterns of sets of finite elements of a domain. Using the classification, we determine all sub-cartesian closed categories of the category of separable Scott domains that contain a universal object. The separable Scott domain models of the λβ-calculus are then classified up to a retraction by their coherence degrees
Scott Belsky in Conversation with DesignByThem - Part One.mp4
No full textWatch here as Scott Belsky (CEO/Founder Behance + Author Making Ideas Happen) joins Sydney design duo Sarah Gibson and Nicholas Karlovasitis from DesignByThem to discuss some of the challenges facing creative companies as they try to grow their business. In part one Nick and Sarah get some great advice from Scott about what makes an effective partnership and how to learn from the challenges that can arise. Scott also explains the Behance technique of ?Concepting Teams? with representatives from all areas of the business to brainstorm issues or new ideas
Cardozo AELJ Author Interview Series: Scott Semaya, Class of 2023
No full textThe Cardozo AELJ Author Interview Series seeks to give our readers further insight into the Articles and Notes published in the Cardozo Arts & Entertainment Law Journal. In this interview, Scott Semaya discusses his Note, Name, Image and Likeness: Giving College Athletes the Clearest Guidance to Best Profit off Their NIL, which was published in Volume 41, Issue 2.
This post was originally published on the Cardozo Arts & Entertainment Law Journal website on June 6, 2023. The original post can be accessed via the Archived Link button above
Cardozo AELJ Author Interview Series: Scott Semaya, Class of 2023
No full textThe Cardozo AELJ Author Interview Series seeks to give our readers further insight into the Articles and Notes published in the Cardozo Arts & Entertainment Law Journal. In this interview, Scott Semaya discusses his Note, Name, Image and Likeness: Giving College Athletes the Clearest Guidance to Best Profit off Their NIL, which was published in Volume 41, Issue 2.
This post was originally published on the Cardozo Arts & Entertainment Law Journal website on June 6, 2023. The original post can be accessed via the Archived Link button above
Recommended from our members
Cardozo AELJ Author Interview Series: Scott Semaya, Class of 2023
No full textThe Cardozo AELJ Author Interview Series seeks to give our readers further insight into the Articles and Notes published in the Cardozo Arts & Entertainment Law Journal. In this interview, Scott Semaya discusses his Note, Name, Image and Likeness: Giving College Athletes the Clearest Guidance to Best Profit off Their NIL, which was published in Volume 41, Issue 2.
This post was originally published on the Cardozo Arts & Entertainment Law Journal website on June 6, 2023. The original post can be accessed via the Archived Link button above
Scott Belsky in Conversation with DesignByThem - Part Two.mp4
No full textSarah Gibson and Nicholas Karlovasitis from DesignByThem continue their conversation with Scott Belsky (CEO/Founder Behance + Author Making Ideas Happen). They discuss the relationship between taking financial risks in creative enterprise whilst valuing professional standards in their work
Towards a Convenient Category of Topological Domains
No full texttopological spaces, generalising the usual ω-continuous dcppos of domain theory. Our category supports all the standard constructions of domain theory, including the solution of recursive domain equations. It also supports the construction of free algebras for (in)equational theories, provides a model of parametric polymorphism, and can be used as the basis for a theory of computability. This answers a question of Gordon Plotkin, who asked whether it was possible to construct a category of domains with such properties.
- …
