A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2021; you can also visit the original URL.
The file type is application/pdf.
Filters
The Impact of the Lambda Calculus in Logic and Computer Science
1997
Bulletin of Symbolic Logic
Preserved Fulltext
Church to logic is his invention of the lambda calculus. ...
[103] succeeded to give lambda calculus also an extensional interpretation by interpreting lambda terms as (continuous) functions on some topological space D having its space of continuous functions ...
One solution is not to explicitly mention the I/O channels, as in the lambda calculus with continuations. ...
doi:10.2307/421013
fatcat:v7nedk3s3vfk3mob6ao5sl4b74
150 Years of vortex dynamics
[chapter]
2009
IUTAM Bookseries
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
They are $\frac{dl_{\alpha\beta}^{2}}{dt}=\frac{2}{\pi}\sum_{\lambda=1}^{N}//\Gamma_{\lambda}\epsilon_{\alpha\beta\lambda}A_{\alpha\beta\lambda}(\frac{1}{l_{\beta\lambda}^{2}}-\frac{1}{l_{\lambda\alpha ...
Figure 4 reproduces the original drawing from [72] where we find this description: $\Pi e$ diagram represents precisely the convex outline referred to, and the lines of motion of the interior fluid ...
doi:10.1007/978-90-481-8584-9_1
fatcat:rkaee7ywinhe5lq2wni6y4fhyq
Some Lambda Calculus and Type Theory Formalized
1997
BRICS Report Series
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
We have continued to pursue this hobby on and off ever since, and have developed a substantial body of formal knowledge, including Church-Rosser and standardization<br />theorems for beta reduction, and ...
That is the first sentence of [MP93], the first report on our formal development of lambda calculus and type theory, written in autumn 1992. ...
Remark 2.1 (Notation) Often when doing case analysis by term structure, we want to say that the binders, lambda and pi, behave the same way. ...
doi:10.7146/brics.v4i51.19272
fatcat:l3sb5cg2obeq7foyc6b6ifbdzi
Domain theoretic models of polymorphism
1989
Information and Computation
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
In fact, understanding universal types of the polymorphic I-calculus as categories of continuous sections appears to be useful generally. ...
are interpreted as the category of continuous sections of the fibration. ...
We may also write (Ff)R or even I;(f)" when the meaning is clear from context. ...
doi:10.1016/0890-5401(89)90068-0
fatcat:5t6bwgsyzjdwtjpyepfqziuehu
The Wright ω Function
[chapter]
2002
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
In particular, although Wright ω is a cognate of the Lambert W function, it presents a different model for handling the branches and multiple values that make the properties of W difficult to work with ...
A final point of interest is that some of the techniques used to establish the mathematical properties can themselves potentially be automated, as was discussed in a paper presented at AISC Madrid [3] ...
The colour graph of the Riemann Surface for ω (not shown here, but used in the upcoming Lambert W poster, was produced with a Maple program written by George Labahn (getting the colours to come out continuous ...
doi:10.1007/3-540-45470-5_10
fatcat:bs2fzcvolfg47le6a6ou67264m
Using Programming Language Theory to Make Automatic Differentiation Sound and Efficient
[chapter]
2008
Lecture Notes in Computational Science and Engineering
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Using novel analysis techniques, it accepts source code involving free use of a first-class forward AD operator and generates object code which attains numerical performance comparable to, or better than ...
Because the λ -calculus is the basis for modern programming-language implementation techniques, integration of AD into the λ -calculus allows AD to be integrated into an aggressive compiler. ...
This work was supported, in part, by NSF grant CCF-0438806, Science Foundation Ireland grant 00/PI.1/C067, and a grant from the Higher Education Authority of Ireland. ...
doi:10.1007/978-3-540-68942-3_8
fatcat:q6mfgwtuhjbehngz45umahgy2e
Polymorphic type inference and containment
1988
Information and Computation
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
Type expressions may be used to describe the functional behavior of untyped lambda terms. ...
We present a general semantics of polymorphic type expressions over models of untyped lambda calculus and give complete rules for inferring types for terms. ...
If the containment is an axiom, then we use Lemma 12 or 11. If the containment follows by (trans), then it is trivial, and if it follows by (tong) then we use (AI) and (VIZ). ...
doi:10.1016/0890-5401(88)90009-0
fatcat:hnxkw7bne5amznoo5hyszv4c4a
Covert Movement in Logical Grammar
[chapter]
2011
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
So there is no reason why it has to be derived from SS (or anything else). ...
Moroever the idea of extending the Curry-Howard conception to substructural logics was continually being rediscovered 2 ; so, in hindsight at least, it is easy perceive these labelled bracketings as Curry-Howard ...
doi:10.1007/978-3-642-21490-5_2
fatcat:4wuroemcobgphp53jr5fs7dh6m
SEMANTIC NETS ARE IN THE EYE OF THE BEHOLDER
[chapter]
1991
Principles of Semantic Networks
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
This terminological problem is not due to lack of substance or coherence of work done under the semantic net banner, Rather, it is due to convergence of the major KR schemes: the representational and computational ...
are described as logic-based, frame-based, rule-based, or something else. ...
It is often faster to rediscover something within the framework of one's colony than to glean it from the writings of another. ...
doi:10.1016/b978-1-4832-0771-1.50008-4
fatcat:dcb4ratdhbabpnm5z5agbmvfmm
Dynamic trust negotiation for flexible e-health collaborations
2008
Proceedings of the 15th ACM Mardi Gras conference on From lightweight mash-ups to lambda grids: Understanding the spectrum of distributed computing requirements, applications, tools, infrastructures, interoperability, and the incremental adoption of key capabilities - MG '08
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2011; you can also visit the original URL.
The file type is application/pdf.
In an organisation we provide security by granting privileges to either identities or roles. ...
Numerous access control approaches exist today to address the cross-boundary control issues. ...
Acknowledgments This work is supported by a grant from the Medical Research Council (MRC) UK and is undertaken as part of the Virtual Organisation for Trials of Epidemiological Studies (VOTES) 3-year project ...
doi:10.1145/1341811.1341821
dblp:conf/mg/AjayiSS08
fatcat:dzy2hkmhl5eetav4ghnv75i7he
Quasi-prime algebraic domains
1996
Theoretical Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
It is then possible to give, for example, a model for the un-typed lambda calculus with a reflexive quasi-prime algebraic domain. PART I. QUASI-PRIME ALGEBRAIC DOMAINS I. ...
We show further that with the usual Scott continuous functions as morphisms, quasi-prime algebraic domains are cartesian closed. ...
Thanks go to Michael Huth for pointing out to me that I had, as a by-product of considering quasiprime algebraic domains, rediscovered the notion of completely irreducible elements. ...
doi:10.1016/0304-3975(95)00133-6
fatcat:pieragw4yvgr3anckacwtvg6aq
A scheme for multisource interior tomography
2009
Medical Physics (Lancaster)
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2011; you can also visit the original URL.
The file type is application/pdf.
To demonstrate the merits of this approach, the authors report interior reconstruction from in vivo lung CT data at a much reduced radiation dose, which is roughly proportional to the ROI size. ...
Currently, x-ray computed tomography ͑CT͒ requires source scanning so that projections can be collected from various orientations for image reconstruction. ...
flow of oil and water that is pumped from oil reservoirs. 35 A promising way to suppress image artifacts and/or increase the FOV is to use detectors in a time-sharing fashion which can also be referred ...
doi:10.1118/1.3157103
pmid:19746792
pmcid:PMC2724174
fatcat:iffm2ktqtjhf3jgx3zo5nbgr5q
History of the formulas and algorithms for pi
[article]
2009
arXiv
pre-print
Preserved Fulltext
The Internet Archive has a preservation copy of this work in our general collections.
The file type is application/pdf.
Other Versions
Among them, we can find series, infinite products, expansions as continued fractions and expansions using radicals. Some expressions which are (amazingly) related to pi have been evaluated. ...
Throughout more than two millennia many formulas have been obtained, some of them beautiful, to calculate the number pi. ...
the continued fraction. ...
arXiv:0807.0872v3
fatcat:cjo2epcy2nff7gqkwdqrgq5ufq
Categorical Models for a Semantically Linear Lambda-calculus
2010
Electronic Proceedings in Theoretical Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
Other Versions
This paper is about a categorical approach to model a very simple Semantically Linear lambda calculus, named Sll-calculus. This is a core calculus underlying the programming language SlPCF. ...
This category is general enough to catch interesting models in Scott Domains and Coherence Spaces. ...
Girard [12] discovered linear logic starting from a semantical investigation of the second-order lambda calculus. ...
doi:10.4204/eptcs.22.1
fatcat:kbeaid46cnasnj7wceoouoaauu
Continuity and discontinuity during hominization
1993
Quaternary International
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
The hypothesis is that hominizatîon represents a continous phenomenon from fossil apes to Sapiens, i.e. an increase in thé embryonic contraction, but with discontinous effects, i.e. ontogenic organization ...
Récent observations on an ontogenetic craniofacial phenomenon hâve led to new concepts of facial morphogenesis and to récognition of a process called craniofacial contraction. ...
ACKNOWLEDGEMENTS I would like to thank Dr. Jean Chaline for inviting me to thé workshop on 'Modes and Tempos of Evolution in thé Quaternary' and to Dr. ...
doi:10.1016/1040-6182(93)90027-d
fatcat:qjiqp6auyralzh3qezc7rzhhsi
« Previous
Showing results 1 — 15 out of 139 results